X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/409542d7ec4496c61140e077e4885e267ab1c184..06bd821502f57dcb4ef89295b221fc2b9a4f1ae3:/src/slave.sml diff --git a/src/slave.sml b/src/slave.sml index 44af4b3..ba31da8 100644 --- a/src/slave.sml +++ b/src/slave.sml @@ -22,9 +22,12 @@ structure Slave :> SLAVE = struct datatype file_action = Add - | Delete + | Delete of bool | Modify +fun isDelete (Delete _) = true + | isDelete _ = false + type file_status = {action : file_action, domain : string, dir : string, @@ -58,10 +61,13 @@ fun registerPostHandler handler = fun handleChanges fs = (!preHandler (); app (fn recd as {action, file, ...} => (!fileHandler recd; - if action = Delete andalso Posix.FileSys.access (file, []) then - OS.FileSys.remove file - else - ())) fs; + case action of + Delete b => + if b andalso Posix.FileSys.access (file, []) then + OS.FileSys.remove file + else + () + | _ => ())) fs; !postHandler ()) fun shell ss = OS.Process.isSuccess (OS.Process.system (String.concat ss)) @@ -76,6 +82,25 @@ fun shellF (ss, msg) = ErrorMsg.error NONE (msg s) end +fun shellOutput ss = + let + val proc = Unix.execute ("/bin/bash", ["-c", String.concat ss ^ " 2>&1"]) + val inf = Unix.textInstreamOf proc + + fun loop out = + case TextIO.inputLine inf of + NONE => String.concat (rev out) + | SOME line => loop (line :: out) + + val lines = loop [] + in + print lines; + if OS.Process.isSuccess (Unix.reap proc) then + NONE + else + SOME lines + end + fun hostname () = let val inf = TextIO.openIn "/etc/hostname" @@ -202,4 +227,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