Different log directories for different Apache versions

[hcoop/domtool2.git] / src / msgTypes.sml

diff --git a/src/msgTypes.sml b/src/msgTypes.sml
index e0f4385..4827c62 100644 (file)
--- 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