Trusted-path permission checking
[hcoop/domtool2.git] / src / msgTypes.sml
index f51e780..e0f4385 100644 (file)
@@ -27,6 +27,8 @@ datatype query =
        (* 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