| 1 | (* HCoop Domtool (http://hcoop.sourceforge.net/) |
| 2 | * Copyright (c) 2006, Adam Chlipala |
| 3 | * |
| 4 | * This program is free software; you can redistribute it and/or |
| 5 | * modify it under the terms of the GNU General Public License |
| 6 | * as published by the Free Software Foundation; either version 2 |
| 7 | * of the License, or (at your option) any later version. |
| 8 | * |
| 9 | * This program is distributed in the hope that it will be useful, |
| 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| 12 | * GNU General Public License for more details. |
| 13 | * |
| 14 | * You should have received a copy of the GNU General Public License |
| 15 | * along with this program; if not, write to the Free Software |
| 16 | * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. |
| 17 | *) |
| 18 | |
| 19 | (* Network message data structures *) |
| 20 | |
| 21 | structure MsgTypes = struct |
| 22 | |
| 23 | datatype socket_permission = |
| 24 | Any |
| 25 | | Client |
| 26 | | Server |
| 27 | | Nada |
| 28 | |
| 29 | datatype query = |
| 30 | QApt of string |
| 31 | (* Is this apt package installed? *) |
| 32 | | QCron of string |
| 33 | (* Is this user allowed to use cron? *) |
| 34 | | QFtp of string |
| 35 | (* Is this user allowed to use FTP? *) |
| 36 | | QTrustedPath of string |
| 37 | (* Is this user restricted to trusted-path executables? *) |
| 38 | | QSocket of string |
| 39 | (* What socket permissions does this user have? *) |
| 40 | | QFirewall of string |
| 41 | (* What firewall rules does this user have? *) |
| 42 | |
| 43 | datatype msg = |
| 44 | MsgOk |
| 45 | (* Your request was processed successfully. *) |
| 46 | | MsgError of string |
| 47 | (* Your request went wrong in some way. *) |
| 48 | | MsgConfig of string |
| 49 | (* Configuration source code *) |
| 50 | | MsgFile of Slave.file_status |
| 51 | (* The status of a configuration file has changed. *) |
| 52 | | MsgDoFiles |
| 53 | (* Perform the actions associated with the MsgFiles sent previously. *) |
| 54 | | MsgGrant of Acl.acl |
| 55 | (* Grant a permission *) |
| 56 | | MsgRevoke of Acl.acl |
| 57 | (* Revoke a permission *) |
| 58 | | MsgListPerms of string |
| 59 | (* List all of a user's permissions *) |
| 60 | | MsgPerms of (string * string list) list |
| 61 | (* A response to MsgListPerms, giving a permission class and all values |
| 62 | * for which the user is authorized in that class *) |
| 63 | | MsgWhoHas of {class : string, value : string} |
| 64 | (* Which users have this permission? *) |
| 65 | | MsgWhoHasResponse of string list |
| 66 | (* These are the users! *) |
| 67 | | MsgMultiConfig of string list |
| 68 | (* Multiple Domtool sources in dependency order *) |
| 69 | | MsgRmdom of string list |
| 70 | (* Remove all configuration associated with some domains and revoke |
| 71 | * rights to those domains from all users. *) |
| 72 | | MsgRegenerate |
| 73 | (* Make a clean slate of it and reprocess all configuration from scratch. *) |
| 74 | | MsgRmuser of string |
| 75 | (* Remove all ACL entries for a user, and remove all domains to which |
| 76 | * that user and no one else has rights. *) |
| 77 | | MsgCreateDbUser of {dbtype : string, passwd : string option} |
| 78 | (* Request creation of a user for the named DBMS type *) |
| 79 | | MsgCreateDbTable of {dbtype : string, dbname : string} |
| 80 | (* Request creation of a DBMS table *) |
| 81 | | MsgNewMailbox of {domain : string, user : string, |
| 82 | passwd : string, mailbox : string} |
| 83 | (* Request creation of a new vmail mapping *) |
| 84 | | MsgPasswdMailbox of {domain : string, user : string, passwd : string} |
| 85 | (* Change a vmail account's password *) |
| 86 | | MsgRmMailbox of {domain : string, user : string} |
| 87 | (* Remove a vmail mapping *) |
| 88 | | MsgListMailboxes of string |
| 89 | (* List all mailboxes for a domain *) |
| 90 | | MsgMailboxes of {user : string, mailbox : string} list |
| 91 | (* Reply to MsgListMailboxes *) |
| 92 | | MsgSaQuery of string |
| 93 | (* Check on the SpamAsssassin filtering status of a user or e-mail address *) |
| 94 | | MsgSaStatus of bool |
| 95 | (* Response to MsgSaQuery *) |
| 96 | | MsgSaSet of string * bool |
| 97 | (* Set the filtering status of a user or e-mail address *) |
| 98 | | MsgSmtpLogReq of string |
| 99 | (* Request all current SMTP log lines about a domain *) |
| 100 | | MsgSmtpLogRes of string |
| 101 | (* One line of a response to MsgSmtpLogReq *) |
| 102 | | MsgDbPasswd of {dbtype : string, passwd : string} |
| 103 | (* Change a DBMS user's password *) |
| 104 | | MsgShutdown |
| 105 | (* Halt the server *) |
| 106 | | MsgYes |
| 107 | | MsgNo |
| 108 | (* Answers to boolean queries *) |
| 109 | | MsgQuery of query |
| 110 | (* Ask for host-specific information *) |
| 111 | | MsgSocket of socket_permission |
| 112 | (* Answer to a QSocket query *) |
| 113 | | MsgFirewall of string list |
| 114 | (* Answer to a QFirewall query *) |
| 115 | |
| 116 | end |