X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/c189cbe97d554b26ec6b203b4ce9f697947ecc38..77a8fca278b561808959fa1aa7d9f02c5cfe7720:/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