X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/411a85f26421358c20b11839310cce6caff8cf77..77a8fca278b561808959fa1aa7d9f02c5cfe7720:/src/msgTypes.sml?ds=sidebyside diff --git a/src/msgTypes.sml b/src/msgTypes.sml index a5fe2f7..89ab255 100644 --- a/src/msgTypes.sml +++ b/src/msgTypes.sml @@ -35,5 +35,21 @@ datatype msg = (* 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 + (* 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