Correct MySQL script syntax error

[hcoop/domtool2.git] / src / slave.sml

diff --git a/src/slave.sml b/src/slave.sml
index af8b606..a20f6db 100644 (file)
--- a/src/slave.sml
+++ b/src/slave.sml
@@ -200,4 +200,13 @@ fun inGroup {user, group} =
                (Posix.SysDB.Group.members (Posix.SysDB.getgrnam group))
                handle OS.SysErr _ => false
 
+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
+
 end