X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/36e42cb86393a7b9e333ecd7edfbdd16c7d9a1ac..d541c6185fb0f426dce0b16e85327b53635169e0:/src/msgTypes.sml diff --git a/src/msgTypes.sml b/src/msgTypes.sml index 1dfe16e..0c7e5fe 100644 --- a/src/msgTypes.sml +++ b/src/msgTypes.sml @@ -31,5 +31,30 @@ datatype msg = (* The status of a configuration file has changed. *) | MsgDoFiles (* Perform the actions associated with the MsgFiles sent previously. *) + | MsgGrant of Acl.acl + (* Grant a permission *) + | MsgRevoke of Acl.acl + (* Revoke a permission *) + | MsgListPerms of string + (* List all of a user's permissions *) + | MsgPerms of (string * string list) list + (* A response to MsgListPerms, giving a permission class and all values + * for which the user is authorized in that class *) + | MsgWhoHas of {class : string, value : string} + (* 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 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