Trusted-path permission checking

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

diff --git a/src/msg.sml b/src/msg.sml
index 562c9d1..bd7b5ee 100644 (file)
--- a/src/msg.sml
+++ b/src/msg.sml
@@ -96,6 +96,8 @@ fun sendQuery (bio, q) =
                    OpenSSL.writeString (bio, s))
       | QFtp s => (OpenSSL.writeInt (bio, 2);
                   OpenSSL.writeString (bio, s))
+      | QTrustedPath s => (OpenSSL.writeInt (bio, 3);
+                          OpenSSL.writeString (bio, s))
 
 fun recvQuery bio =
     case OpenSSL.readInt bio of
@@ -104,6 +106,7 @@ fun recvQuery bio =
             0 => Option.map QApt (OpenSSL.readString bio)
           | 1 => Option.map QCron (OpenSSL.readString bio)
           | 2 => Option.map QFtp (OpenSSL.readString bio)
+          | 3 => Option.map QTrustedPath (OpenSSL.readString bio)
           | _ => NONE)
       | NONE => NONE