domtool-admin regen -tc

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

diff --git a/src/msgTypes.sml b/src/msgTypes.sml
index 480c905..00dc82a 100644 (file)
--- a/src/msgTypes.sml
+++ b/src/msgTypes.sml
@@ -20,6 +20,26 @@
 
 structure MsgTypes = struct
 
+datatype socket_permission =
+        Any
+       | Client
+       | Server
+       | Nada
+
+datatype query =
+        QApt of string
+       (* Is this apt package installed? *)
+       | QCron of string
+       (* Is this user allowed to use cron? *)
+       | QFtp of string
+       (* 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
        (* Your request was processed successfully. *)
@@ -86,7 +106,13 @@ datatype msg =
        | MsgYes
        | MsgNo
        (* Answers to boolean queries *)
-       | MsgApt of string
-       (* Is this apt package installed on your host? *)
+       | 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