X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/8e965b2da49aab1faef95b25471513498ceca895..1824f573f7f8720514af1dc94d7cfb1de5b15fef:/src/msg.sml diff --git a/src/msg.sml b/src/msg.sml index aa5cf35..bb6a2b1 100644 --- a/src/msg.sml +++ b/src/msg.sml @@ -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