X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/737c68d4f3a11a344c7469085615e7a335c9a1b3..ebb51f80568cc35cf3cd2f99a31a28f72526798d:/src/msgTypes.sml diff --git a/src/msgTypes.sml b/src/msgTypes.sml index b91e198..c6dcb50 100644 --- a/src/msgTypes.sml +++ b/src/msgTypes.sml @@ -1,5 +1,6 @@ (* HCoop Domtool (http://hcoop.sourceforge.net/) * Copyright (c) 2006, Adam Chlipala + * Copyright (c) 2011,2014 Clinton Ebadi * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License @@ -37,6 +38,10 @@ datatype query = (* Is this user restricted to trusted-path executables? *) | QSocket of string (* What socket permissions does this user have? *) + | QFirewall of {node : string, user : string} + (* What firewall rules does this user have? *) + | QAptExists of string + (* Does this apt package exist *) datatype msg = MsgOk @@ -74,8 +79,10 @@ 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} - (* Request creation of a DBMS table *) + | 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 *) | MsgNewMailbox of {domain : string, user : string, passwd : string, mailbox : string} (* Request creation of a new vmail mapping *) @@ -93,6 +100,8 @@ datatype msg = (* Response to MsgSaQuery *) | MsgSaSet of string * bool (* Set the filtering status of a user or e-mail address *) + | MsgSaChanged + (* Reload spamassassin addrs *) | MsgSmtpLogReq of string (* Request all current SMTP log lines about a domain *) | MsgSmtpLogRes of string @@ -108,5 +117,25 @@ datatype msg = (* Ask for host-specific information *) | MsgSocket of socket_permission (* 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 *) + | 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 *) + | MsgAptQuery of {section : string, description : string} + (* Answer to QAptExists query *) end