Correct MySQL script syntax error

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

diff --git a/src/slave.sml b/src/slave.sml
index 44af4b3..a20f6db 100644 (file)
--- a/src/slave.sml
+++ b/src/slave.sml
@@ -202,4 +202,11 @@ 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
+
 end