X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/314ce7bdcb5f54a7d1763e8b6d405dc66cb65d2b..991d8e6619bc9ff2182a39cfbeead53bee768a99:/src/msgTypes.sml diff --git a/src/msgTypes.sml b/src/msgTypes.sml index 034e26a..dcd04cb 100644 --- a/src/msgTypes.sml +++ b/src/msgTypes.sml @@ -39,6 +39,8 @@ datatype query = (* What socket permissions does this user have? *) | QFirewall of string (* What firewall rules does this user have? *) + | QAptExists of string + (* Does this apt package exist *) datatype msg = MsgOk @@ -76,7 +78,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 *) - | MsgCreateDb 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 *) @@ -124,5 +126,11 @@ datatype msg = (* 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