domtool-admin regen -tc

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

diff --git a/src/msg.sml b/src/msg.sml
index 5b1125b..19a84b4 100644 (file)
--- a/src/msg.sml
+++ b/src/msg.sml
@@ -221,6 +221,7 @@ fun send (bio, m) =
                        sendSockPerm (bio, p))
       | MsgFirewall ls => (OpenSSL.writeInt (bio, 34);
                           sendList OpenSSL.writeString (bio, ls))
                        sendSockPerm (bio, p))
       | MsgFirewall ls => (OpenSSL.writeInt (bio, 34);
                           sendList OpenSSL.writeString (bio, ls))

+      | MsgRegenerateTc => OpenSSL.writeInt (bio, 35)

 
 fun checkIt v =
     case v of
 
 fun checkIt v =
     case v of


@@ -321,6 +322,7 @@ fun recv bio =
                   | 32 => Option.map MsgQuery (recvQuery bio)
                   | 33 => Option.map MsgSocket (recvSockPerm bio)
                   | 34 => Option.map MsgFirewall (recvList OpenSSL.readString bio)
                   | 32 => Option.map MsgQuery (recvQuery bio)
                   | 33 => Option.map MsgSocket (recvSockPerm bio)
                   | 34 => Option.map MsgFirewall (recvList OpenSSL.readString bio)

+                  | 35 => SOME MsgRegenerateTc

                   | _ => NONE)
         
 end
                   | _ => NONE)
         
 end