(* Which users have this permission? *)
| MsgWhoHasResponse of string list
(* These are the users! *)
-
+ | MsgMultiConfig of string list
+ (* Multiple Domtool sources in dependency order *)
+ | 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