Fix file paths for recursive rmdom

[hcoop/domtool2.git] / src / msgTypes.sml

diff --git a/src/msgTypes.sml b/src/msgTypes.sml
index bf74086..89ab255 100644 (file)
--- a/src/msgTypes.sml
+++ b/src/msgTypes.sml
@@ -49,5 +49,7 @@ datatype msg =
        | MsgRmdom of string
        (* Remove all configuration associated with a domain and revoke rights
        * to that domain from all users. *)
        | MsgRmdom of string
        (* Remove all configuration associated with a domain and revoke rights
        * to that domain from all users. *)

+       | MsgRegenerate
+       (* Make a clean slate of it and reprocess all configuration from scratch. *)

 
 end
 
 end