X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/4d5126e168a9671d01a0b57efcecd08ad68dcfbe..fb6fac97106809e2b90f16e9f1d6176c329a5d40:/src/msgTypes.sml

diff --git a/src/msgTypes.sml b/src/msgTypes.sml
index e0f4385..00dc82a 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,11 @@ 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 *)
+       | MsgRegenerateTc
+       (* MsgRegenerate without actual publishing of configuration *)
 
 end