X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/ed9fda3a0e2edcf4ed546e0eb9ac128865538276..6ae327f88a6be8efd02cfe4b713444f9f3ac2672:/src/slave.sml diff --git a/src/slave.sml b/src/slave.sml index d43a8fa..144a167 100644 --- a/src/slave.sml +++ b/src/slave.sml @@ -27,6 +27,7 @@ datatype file_action = type file_status = {action : file_action, domain : string, + dir : string, file : string} val fileHandler = ref (fn _ : file_status => ()) @@ -87,16 +88,16 @@ fun concatTo p fname = visitDir path else if p fname' then shellF ([Config.cat, " ", path, " >>", fname], - fn cl => "Error concatenating: " ^ cl) + fn cl => "Error concatenating: " ^ cl) else (); loop () end in - TextIO.closeOut (TextIO.openOut fname); loop () end in + TextIO.closeOut (TextIO.openOut fname); visitDir Config.resultRoot end