X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/5543e924e43797dc352f5498438293606e0fd574..75585a67831244a20e460b7336d440d4cabe3b41:/src/msgTypes.sml

diff --git a/src/msgTypes.sml b/src/msgTypes.sml
index 3003a39..480c905 100644
--- a/src/msgTypes.sml
+++ b/src/msgTypes.sml
@@ -83,5 +83,10 @@ datatype msg =
        (* Change a DBMS user's password *)
        | MsgShutdown
        (* Halt the server *)
+       | MsgYes
+       | MsgNo
+       (* Answers to boolean queries *)
+       | MsgApt of string
+       (* Is this apt package installed on your host? *)
 
 end