X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/c53e82e40cef407de986aa329d31457915ad0dbe..77a8fca278b561808959fa1aa7d9f02c5cfe7720:/src/msg.sml?ds=sidebyside diff --git a/src/msg.sml b/src/msg.sml index 2de4898..bb6a2b1 100644 --- a/src/msg.sml +++ b/src/msg.sml @@ -93,6 +93,9 @@ fun send (bio, m) = sendList OpenSSL.writeString (bio, users)) | MsgMultiConfig codes => (OpenSSL.writeInt (bio, 12); 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 @@ -140,6 +143,8 @@ fun recv bio = (recvList OpenSSL.readString bio) | 12 => Option.map MsgMultiConfig (recvList OpenSSL.readString bio) + | 13 => Option.map MsgRmdom (OpenSSL.readString bio) + | 14 => SOME MsgRegenerate | _ => NONE) end