Testing queries on slave servers

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

diff --git a/src/msgTypes.sml b/src/msgTypes.sml
index 480c905..1ef2538 100644 (file)
--- a/src/msgTypes.sml
+++ b/src/msgTypes.sml
@@ -20,6 +20,10 @@
 
 structure MsgTypes = struct
 
 
 structure MsgTypes = struct
 

+datatype query =
+        QApt of string
+       (* Is this apt package installed? *)
+

 datatype msg =
         MsgOk
        (* Your request was processed successfully. *)
 datatype msg =
         MsgOk
        (* Your request was processed successfully. *)


@@ -86,7 +90,7 @@ datatype msg =
        | MsgYes
        | MsgNo
        (* Answers to boolean queries *)
        | MsgYes
        | MsgNo
        (* Answers to boolean queries *)

-       | MsgApt of string
-       (* Is this apt package installed on your host? *)
+       | MsgQuery of query
+       (* Ask for host-specific information *)

 
 end
 
 end