Different log directories for different Apache versions

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

diff --git a/src/msgTypes.sml b/src/msgTypes.sml
index b91e198..4827c62 100644 (file)
--- a/src/msgTypes.sml
+++ b/src/msgTypes.sml
@@ -37,6 +37,8 @@ datatype query =
        (* 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
@@ -108,5 +110,7 @@ datatype msg =
        (* Ask for host-specific information *)
        | MsgSocket of socket_permission
        (* Answer to a QSocket query *)
+       | MsgFirewall of string list
+       (* Answer to a QFirewall query *)
 
 end