X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/c17d0537db6e55a6b2bbd1a459542a5fbb44a68f..1638d5a206cd79e9619f0d3334fed29eaddc6b51:/src/slave.sig

diff --git a/src/slave.sig b/src/slave.sig
index 9ca0638..c413a07 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,