HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
domtool-admin regen -tc
[hcoop/domtool2.git]
/
src
/
msgTypes.sml
diff --git
a/src/msgTypes.sml
b/src/msgTypes.sml
index
e0f4385
..
00dc82a
100644
(file)
--- a/
src/msgTypes.sml
+++ b/
src/msgTypes.sml
@@
-20,6
+20,12
@@
structure MsgTypes = struct
structure MsgTypes = struct
+datatype socket_permission =
+ Any
+ | Client
+ | Server
+ | Nada
+
datatype query =
QApt of string
(* Is this apt package installed? *)
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? *)
(* 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
datatype msg =
MsgOk
@@
-98,5
+108,11
@@
datatype msg =
(* Answers to boolean queries *)
| MsgQuery of query
(* Ask for host-specific information *)
(* 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
end