Trusted-path permission checking

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

diff --git a/src/msgTypes.sml b/src/msgTypes.sml
index 445f8af..e0f4385 100644 (file)
--- a/src/msgTypes.sml
+++ b/src/msgTypes.sml
@@ -20,6 +20,16 @@
 
 structure MsgTypes = struct
 
+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? *)
+
 datatype msg =
         MsgOk
        (* Your request was processed successfully. *)
@@ -81,5 +91,12 @@ datatype msg =
        (* One line of a response to MsgSmtpLogReq *)
        | MsgDbPasswd of {dbtype : string, passwd : string}
        (* Change a DBMS user's password *)
+       | MsgShutdown
+       (* Halt the server *)
+       | MsgYes
+       | MsgNo
+       (* Answers to boolean queries *)
+       | MsgQuery of query
+       (* Ask for host-specific information *)
 
 end