(* 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
(* 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