X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/f9548f1652232653178ffd9839b9cbbf7f87316b..99cc41443c07f97535eaeecc628d99075ca2cebf:/src/msgTypes.sml diff --git a/src/msgTypes.sml b/src/msgTypes.sml index 4827c62..1c2abcc 100644 --- a/src/msgTypes.sml +++ b/src/msgTypes.sml @@ -77,7 +77,9 @@ datatype msg = | 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 *) + (* Request creation of a DBMS database *) + | MsgDropDb of {dbtype : string, dbname : string} + (* Request dropping of a DBMS database *) | MsgNewMailbox of {domain : string, user : string, passwd : string, mailbox : string} (* Request creation of a new vmail mapping *) @@ -112,5 +114,9 @@ datatype msg = (* Answer to a QSocket query *) | MsgFirewall of string list (* Answer to a QFirewall query *) + | MsgRegenerateTc + (* MsgRegenerate without actual publishing of configuration *) + | MsgGrantDb of {dbtype : string, dbname : string} + (* Grant all allowed privileges on a DBMS database to the user *) end