X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/0c3785870c3ad0ec9e42d6704939b98e707df64a..563e77927eb5faaae4571bd2b0811de590368581:/src/msgTypes.sml

diff --git a/src/msgTypes.sml b/src/msgTypes.sml
index 1fd2411..ea3ea2c 100644
--- 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