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,
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))
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"