X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/c189cbe97d554b26ec6b203b4ce9f697947ecc38..1824f573f7f8720514af1dc94d7cfb1de5b15fef:/src/msgTypes.sml

diff --git a/src/msgTypes.sml b/src/msgTypes.sml
index bf74086..89ab255 100644
--- 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. *)
+       | MsgRegenerate
+       (* Make a clean slate of it and reprocess all configuration from scratch. *)
 
 end