X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/4d5126e168a9671d01a0b57efcecd08ad68dcfbe..f9548f1652232653178ffd9839b9cbbf7f87316b:/src/msgTypes.sml diff --git a/src/msgTypes.sml b/src/msgTypes.sml index e0f4385..4827c62 100644 --- a/src/msgTypes.sml +++ b/src/msgTypes.sml @@ -20,6 +20,12 @@ structure MsgTypes = struct +datatype socket_permission = + Any + | Client + | Server + | Nada + datatype query = QApt of string (* Is this apt package installed? *) @@ -29,6 +35,10 @@ datatype query = (* 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 @@ -98,5 +108,9 @@ datatype msg = (* 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