X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/d351d679283a797c98f5f65d18aa757c18e56305..4d5126e168a9671d01a0b57efcecd08ad68dcfbe:/src/msgTypes.sml

diff --git a/src/msgTypes.sml b/src/msgTypes.sml
index f51e780..e0f4385 100644
--- a/src/msgTypes.sml
+++ b/src/msgTypes.sml
@@ -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