X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/1d3ef80ec822ea0fa241eb5485549ca7417e787f..d351d679283a797c98f5f65d18aa757c18e56305:/src/msgTypes.sml diff --git a/src/msgTypes.sml b/src/msgTypes.sml index cc792ff..f51e780 100644 --- a/src/msgTypes.sml +++ b/src/msgTypes.sml @@ -20,6 +20,14 @@ structure MsgTypes = struct +datatype query = + QApt of string + (* Is this apt package installed? *) + | QCron of string + (* Is this user allowed to use cron? *) + | QFtp of string + (* Is this user allowed to use FTP? *) + datatype msg = MsgOk (* Your request was processed successfully. *) @@ -67,7 +75,26 @@ datatype msg = (* Remove a vmail mapping *) | MsgListMailboxes of string (* List all mailboxes for a domain *) - | MsgMailboxes of string list + | MsgMailboxes of {user : string, mailbox : string} list (* Reply to MsgListMailboxes *) + | MsgSaQuery of string + (* Check on the SpamAsssassin filtering status of a user or e-mail address *) + | MsgSaStatus of bool + (* Response to MsgSaQuery *) + | MsgSaSet of string * bool + (* Set the filtering status of a user or e-mail address *) + | MsgSmtpLogReq of string + (* Request all current SMTP log lines about a domain *) + | MsgSmtpLogRes of string + (* One line of a response to MsgSmtpLogReq *) + | MsgDbPasswd of {dbtype : string, passwd : string} + (* Change a DBMS user's password *) + | MsgShutdown + (* Halt the server *) + | MsgYes + | MsgNo + (* Answers to boolean queries *) + | MsgQuery of query + (* Ask for host-specific information *) end