Trusted-path permission checking

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

diff --git a/src/msgTypes.sml b/src/msgTypes.sml
index 1ef2538..e0f4385 100644 (file)
--- a/src/msgTypes.sml
+++ b/src/msgTypes.sml
@@ -23,6 +23,12 @@ 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