Preliminary regeneration support
[hcoop/domtool2.git] / src / msg.sml
index aa5cf35..bb6a2b1 100644 (file)
@@ -95,6 +95,7 @@ fun send (bio, m) =
                                 sendList OpenSSL.writeString (bio, codes))
       | MsgRmdom dom => (OpenSSL.writeInt (bio, 13);
                         OpenSSL.writeString (bio, dom))
+      | MsgRegenerate => OpenSSL.writeInt (bio, 14)
 
 fun checkIt v =
     case v of
@@ -143,6 +144,7 @@ fun recv bio =
                   | 12 => Option.map MsgMultiConfig
                           (recvList OpenSSL.readString bio)
                   | 13 => Option.map MsgRmdom (OpenSSL.readString bio)
+                  | 14 => SOME MsgRegenerate
                   | _ => NONE)
         
 end