X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/737c68d4f3a11a344c7469085615e7a335c9a1b3..5cab5a9811e767a649e57b4012fbc19635dae11e:/src/msgTypes.sml

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