X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/e0b80e65c8132f096ed5c92e42d4da7d33ff369b..06bd821502f57dcb4ef89295b221fc2b9a4f1ae3:/src/slave.sig diff --git a/src/slave.sig b/src/slave.sig index 1a11e51..7471d86 100644 --- a/src/slave.sig +++ b/src/slave.sig @@ -22,9 +22,11 @@ signature SLAVE = sig datatype file_action = Add - | Delete + | Delete of bool (* Set to true to really delete the file *) | Modify + val isDelete : file_action -> bool + type file_status = {action : file_action, domain : string, dir : string, @@ -43,6 +45,7 @@ signature SLAVE = sig val shell : string list -> bool val shellF : string list * (string -> string) -> unit + val shellOutput : string list -> string option val concatTo : (string -> bool) -> string -> unit (* Search through the result configuration hierarchy for all files matching @@ -73,4 +76,6 @@ signature SLAVE = sig val remove : ''a list * ''a -> ''a list val removeDups : ''a list -> ''a list + + val moveDirCreate : { from : string, to : string } -> unit end