X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/fe789bea628b15229156c8a4272c2b6063c9b1a0..617696c652e7c2d3d651c1476bae97ec97641394:/src/msgTypes.sml diff --git a/src/msgTypes.sml b/src/msgTypes.sml index 1fd2411..08972bb 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 @@ -124,5 +127,13 @@ 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 *) + | MsgAptQuery of {section : string, description : string} + (* Answer to QAptExists query *) end