Add query for existence of package
[hcoop/domtool2.git] / src / msg.sml
index ab79885..0a50b6e 100644 (file)
@@ -119,6 +119,8 @@ fun sendQuery (bio, q) =
                      OpenSSL.writeString (bio, s))
       | QFirewall s => (OpenSSL.writeInt (bio, 5);
                        OpenSSL.writeString (bio, s))
+      | QAptExists s => (OpenSSL.writeInt (bio, 6);
+                        OpenSSL.writeString (bio, s))
 
 fun recvQuery bio =
     case OpenSSL.readInt bio of
@@ -130,6 +132,7 @@ fun recvQuery bio =
           | 3 => Option.map QTrustedPath (OpenSSL.readString bio)
           | 4 => Option.map QSocket (OpenSSL.readString bio)
           | 5 => Option.map QFirewall (OpenSSL.readString bio)
+          | 6 => Option.map QAptExists (OpenSSL.readString bio)
           | _ => NONE)
       | NONE => NONE