Working on automatic rmdom for bad domains during regen

[hcoop/domtool2.git] / src / slave.sig

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