X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/0868840155aca9662f97318b114a07ae4c8319d6..1d3ef80ec822ea0fa241eb5485549ca7417e787f:/src/msg.sml diff --git a/src/msg.sml b/src/msg.sml index d0d917c..6fdda0a 100644 --- a/src/msg.sml +++ b/src/msg.sml @@ -134,6 +134,12 @@ fun send (bio, m) = (OpenSSL.writeInt (bio, 20); OpenSSL.writeString (bio, domain); OpenSSL.writeString (bio, user)) + | MsgListMailboxes domain => + (OpenSSL.writeInt (bio, 21); + OpenSSL.writeString (bio, domain)) + | MsgMailboxes users => + (OpenSSL.writeInt (bio, 22); + sendList OpenSSL.writeString (bio, users)) fun checkIt v = case v of @@ -208,6 +214,8 @@ fun recv bio = (SOME domain, SOME user) => SOME (MsgRmMailbox {domain = domain, user = user}) | _ => NONE) + | 21 => Option.map MsgListMailboxes (OpenSSL.readString bio) + | 22 => Option.map MsgMailboxes (recvList OpenSSL.readString bio) | _ => NONE) end