X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/08a04eb413e8ee58ee35affc5c4125b622ea75c4..86aa5de7d9f2754d50489432ffaa43cba3fa170f:/src/msgTypes.sml diff --git a/src/msgTypes.sml b/src/msgTypes.sml index 4ee4cbc..445f8af 100644 --- a/src/msgTypes.sml +++ b/src/msgTypes.sml @@ -40,5 +40,46 @@ datatype msg = | 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 {dbtype : string, passwd : string option} + (* Request creation of a user for the named DBMS type *) + | MsgCreateDbTable of {dbtype : string, dbname : string} + (* Request creation of a DBMS table *) + | MsgNewMailbox of {domain : string, user : string, + passwd : string, mailbox : string} + (* Request creation of a new vmail mapping *) + | MsgPasswdMailbox of {domain : string, user : string, passwd : string} + (* Change a vmail account's password *) + | MsgRmMailbox of {domain : string, user : string} + (* Remove a vmail mapping *) + | MsgListMailboxes of string + (* List all mailboxes for a domain *) + | MsgMailboxes of {user : string, mailbox : string} list + (* Reply to MsgListMailboxes *) + | MsgSaQuery of string + (* Check on the SpamAsssassin filtering status of a user or e-mail address *) + | MsgSaStatus of bool + (* Response to MsgSaQuery *) + | MsgSaSet of string * bool + (* Set the filtering status of a user or e-mail address *) + | MsgSmtpLogReq of string + (* Request all current SMTP log lines about a domain *) + | MsgSmtpLogRes of string + (* One line of a response to MsgSmtpLogReq *) + | MsgDbPasswd of {dbtype : string, passwd : string} + (* Change a DBMS user's password *) end