| 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))
+ | MsgDbPasswd {dbtype, passwd} => (OpenSSL.writeInt (bio, 28);
+ OpenSSL.writeString (bio, dbtype);
+ OpenSSL.writeString (bio, passwd))
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)
+ | 28 => (case (OpenSSL.readString bio, OpenSSL.readString bio) of
+ (SOME dbtype, SOME passwd) =>
+ SOME (MsgDbPasswd {dbtype = dbtype, passwd = passwd})
+ | _ => NONE)
| _ => NONE)
end