end
fun handleChanges fs = (!preHandler ();
- app (!fileHandler) fs;
+ app (fn recd as {action, file, ...} =>
+ (!fileHandler recd;
+ if action = Delete 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))
TextIO.closeOut outf
end
+fun readList fname =
+ let
+ val inf = TextIO.openIn fname
+
+ fun loop acc =
+ case TextIO.inputLine inf of
+ NONE => rev acc
+ | SOME line => loop (String.substring (line, 0, size line - 1) :: acc)
+ in
+ loop []
+ before TextIO.closeIn inf
+ end
+
+fun writeList (fname, ls) =
+ let
+ val outf = TextIO.openOut fname
+ in
+ app (fn s => (TextIO.output (outf, s);
+ TextIO.output1 (outf, #"\n"))) ls;
+ TextIO.closeOut outf
+ end
+
end