X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/99cc41443c07f97535eaeecc628d99075ca2cebf..890558f7f0d9e04da738e7a723fc7b8c20410265:/src/msgTypes.sml diff --git a/src/msgTypes.sml b/src/msgTypes.sml index 1c2abcc..a0b7593 100644 --- a/src/msgTypes.sml +++ b/src/msgTypes.sml @@ -76,7 +76,7 @@ datatype msg = * 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} + | MsgCreateDb of {dbtype : string, dbname : string, encoding : string option} (* Request creation of a DBMS database *) | MsgDropDb of {dbtype : string, dbname : string} (* Request dropping of a DBMS database *) @@ -118,5 +118,17 @@ datatype msg = (* MsgRegenerate without actual publishing of configuration *) | MsgGrantDb of {dbtype : string, dbname : string} (* Grant all allowed privileges on a DBMS database to the user *) + | MsgMysqlFixperms + (* Run the script to grant DROP privileges on MySQL tables to owning users *) + | MsgDescribe of string + (* Ask for a listing of all of a domain's real configuration *) + | MsgDescription of string + (* Reply to MsgDescribe *) + | MsgReUsers + (* Rerun all callbacks for cases where the set of users has changed *) + | MsgVmailChanged + (* Server tells slave that vmail user information has changed *) + | MsgFirewallRegen + (* Regenerate firewall on user machines *) end