X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/73b9542320e82ad398689b66bc1938c78cc53be0..c23af4454e79f11677c808b3e05e9d14061f71b1:/src/msgTypes.sml diff --git a/src/msgTypes.sml b/src/msgTypes.sml index a0b7593..c815960 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,8 +38,10 @@ datatype query = (* Is this user restricted to trusted-path executables? *) | QSocket of string (* What socket permissions does this user have? *) - | QFirewall of string + | QFirewall of {node : string, user : string} (* What firewall rules does this user have? *) + | QAptExists of string + (* Does this apt package exist *) datatype msg = MsgOk @@ -85,6 +88,8 @@ datatype msg = (* Request creation of a new vmail mapping *) | MsgPasswdMailbox of {domain : string, user : string, passwd : string} (* Change a vmail account's password *) + | MsgPortalPasswdMailbox of {domain : string, user : string, oldpasswd : string, newpasswd : string} + (* Change a vmail account's password if the old password matches *) | MsgRmMailbox of {domain : string, user : string} (* Remove a vmail mapping *) | MsgListMailboxes of string @@ -97,6 +102,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 @@ -130,5 +137,7 @@ datatype msg = (* 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