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))
(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
+
+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