X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/409542d7ec4496c61140e077e4885e267ab1c184..1ffc47a68def0e10e393ad4d8e62b7d6f7300c01:/src/slave.sml

diff --git a/src/slave.sml b/src/slave.sml
index 44af4b3..3262b52 100644
--- a/src/slave.sml
+++ b/src/slave.sml
@@ -202,4 +202,20 @@ fun inGroup {user, group} =
 
 fun mkDirAll dir = ignore (OS.Process.system ("mkdir -p " ^ dir))
 
+fun remove (ls, x) = List.filter (fn y => y <> x) ls
+fun removeDups ls = List.foldr (fn (x, ls) =>
+				   if List.exists (fn y => y = x) ls then
+				       ls
+				   else
+				       x :: ls) [] ls
+
+fun moveDirCreate {from, to} =
+    (mkDirAll to;
+     if Posix.FileSys.access (from, []) then
+	 (ignore (OS.Process.system ("rm -rf " ^ to));
+	  ignore (OS.Process.system ("cp -r " ^ from ^ " " ^ to));
+	  ignore (OS.Process.system ("rm -rf " ^ from)))
+     else
+	 ())
+
 end