X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/9f27d58f1ce0833bb5460d7ca612c74f378548a1..a95a01077068e27009d4240aa0fc0c8f58908c6b:/src/msgTypes.sml

diff --git a/src/msgTypes.sml b/src/msgTypes.sml
index 3003a39..1ef2538 100644
--- a/src/msgTypes.sml
+++ b/src/msgTypes.sml
@@ -20,6 +20,10 @@
 
 structure MsgTypes = struct
 
+datatype query =
+	 QApt of string
+       (* Is this apt package installed? *)
+
 datatype msg =
 	 MsgOk
        (* Your request was processed successfully. *)
@@ -83,5 +87,10 @@ datatype msg =
        (* Change a DBMS user's password *)
        | MsgShutdown
        (* Halt the server *)
+       | MsgYes
+       | MsgNo
+       (* Answers to boolean queries *)
+       | MsgQuery of query
+       (* Ask for host-specific information *)
 
 end