Generation of slash-tilde waklog directives for each user

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

diff --git a/src/msgTypes.sml b/src/msgTypes.sml
index 1fd2411..ea3ea2c 100644 (file)
--- a/src/msgTypes.sml
+++ b/src/msgTypes.sml
@@ -124,5 +124,7 @@ datatype msg =
        (* Ask for a listing of all of a domain's real configuration *)
        | MsgDescription of string
        (* Reply to MsgDescribe *)
+       | MsgReUsers
+       (* Rerun all callbacks for cases where the set of users has changed *)
 
 end