X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/1824f573f7f8720514af1dc94d7cfb1de5b15fef..d541c6185fb0f426dce0b16e85327b53635169e0:/src/msgTypes.sml diff --git a/src/msgTypes.sml b/src/msgTypes.sml index 89ab255..0c7e5fe 100644 --- a/src/msgTypes.sml +++ b/src/msgTypes.sml @@ -46,10 +46,15 @@ datatype msg = (* 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. *) + | MsgRmdom of string list + (* Remove all configuration associated with some domains and revoke + * rights to those domains from all users. *) | MsgRegenerate (* Make a clean slate of it and reprocess all configuration from scratch. *) + | MsgRmuser of string + (* Remove all ACL entries for a user, and remove all domains to which + * that user and no one else has rights. *) + | MsgCreateDbUser of string + (* Request creation of a user for the named DBMS type *) end