| MsgSaSet (addr, b) => (OpenSSL.writeInt (bio, 25);
OpenSSL.writeString (bio, addr);
sendBool (bio, b))
+ | MsgSmtpLogReq domain => (OpenSSL.writeInt (bio, 26);
+ OpenSSL.writeString (bio, domain))
+ | MsgSmtpLogRes domain => (OpenSSL.writeInt (bio, 27);
+ OpenSSL.writeString (bio, domain))
fun checkIt v =
case v of
| 25 => (case (OpenSSL.readString bio, recvBool bio) of
(SOME user, SOME b) => SOME (MsgSaSet (user, b))
| _ => NONE)
+ | 26 => Option.map MsgSmtpLogReq (OpenSSL.readString bio)
+ | 27 => Option.map MsgSmtpLogRes (OpenSSL.readString bio)
| _ => NONE)
end