- val dir = Posix.FileSys.opendir dname
-
- fun loop actions =
- case Posix.FileSys.readdir dir of
- NONE => actions
- | SOME fname =>
- let
- val fnameFull = OS.Path.joinDirFile {dir = dname,
- file = fname}
- in
- if Posix.FileSys.ST.isDir (Posix.FileSys.stat fnameFull) then
- loop (visitDom (fname ^ "." ^ dom,
- fnameFull,
- actions))
- else
- loop ({action = Slave.Delete,
- domain = dom,
- dir = dname,
- file = fnameFull} :: actions)
- end
+ val domPath = String.concatWith "/" (rev (String.fields (fn ch => ch = #".") dom))
+ val dname = OS.Path.concat (dname, domPath)
+
+ fun visitDom (dom, dname, actions) =
+ let
+ val dir = Posix.FileSys.opendir dname
+
+ fun loop actions =
+ case Posix.FileSys.readdir dir of
+ NONE => actions
+ | SOME fname =>
+ let
+ val fnameFull = OS.Path.joinDirFile {dir = dname,
+ file = fname}
+ in
+ if Posix.FileSys.ST.isDir (Posix.FileSys.stat fnameFull) then
+ loop (visitDom (fname ^ "." ^ dom,
+ fnameFull,
+ actions))
+ else
+ loop ({action = Slave.Delete,
+ domain = dom,
+ dir = dname,
+ file = fnameFull} :: actions)
+ end
+ in
+ loop actions
+ before Posix.FileSys.closedir dir
+ end
+ handle OS.SysErr _ =>
+ (print ("Warning: System error deleteing domain " ^ dom ^ " on " ^ node ^ ".\n");
+ actions)