Adding database dropping to dbtool

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

diff --git a/src/msg.sml b/src/msg.sml
index 5b1125b..bbaf24a 100644 (file)
--- a/src/msg.sml
+++ b/src/msg.sml
@@ -221,6 +221,10 @@ fun send (bio, m) =
                        sendSockPerm (bio, p))
       | MsgFirewall ls => (OpenSSL.writeInt (bio, 34);
                           sendList OpenSSL.writeString (bio, ls))
+      | MsgRegenerateTc => OpenSSL.writeInt (bio, 35)
+      | MsgDropDb {dbtype, dbname} => (OpenSSL.writeInt (bio, 36);
+                                      OpenSSL.writeString (bio, dbtype);
+                                      OpenSSL.writeString (bio, dbname))
 
 fun checkIt v =
     case v of
@@ -321,6 +325,11 @@ fun recv bio =
                   | 32 => Option.map MsgQuery (recvQuery bio)
                   | 33 => Option.map MsgSocket (recvSockPerm bio)
                   | 34 => Option.map MsgFirewall (recvList OpenSSL.readString bio)
+                  | 35 => SOME MsgRegenerateTc
+                  | 36 => (case (OpenSSL.readString bio, OpenSSL.readString bio) of
+                               (SOME dbtype, SOME dbname) =>
+                               SOME (MsgDropDb {dbtype = dbtype, dbname = dbname})
+                             | _ => NONE)
                   | _ => NONE)
         
 end