X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/9f27d58f1ce0833bb5460d7ca612c74f378548a1..8cf5b8227e29e2f7b0d245fc7a6ddd43eef06ceb:/src/msgTypes.sml diff --git a/src/msgTypes.sml b/src/msgTypes.sml index 3003a39..4827c62 100644 --- a/src/msgTypes.sml +++ b/src/msgTypes.sml @@ -20,6 +20,26 @@ structure MsgTypes = struct +datatype socket_permission = + Any + | Client + | Server + | Nada + +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? *) + | QTrustedPath of string + (* Is this user restricted to trusted-path executables? *) + | QSocket of string + (* What socket permissions does this user have? *) + | QFirewall of string + (* What firewall rules does this user have? *) + datatype msg = MsgOk (* Your request was processed successfully. *) @@ -83,5 +103,14 @@ datatype msg = (* Change a DBMS user's password *) | MsgShutdown (* Halt the server *) + | MsgYes + | MsgNo + (* Answers to boolean queries *) + | MsgQuery of query + (* Ask for host-specific information *) + | MsgSocket of socket_permission + (* Answer to a QSocket query *) + | MsgFirewall of string list + (* Answer to a QFirewall query *) end