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
(recvList OpenSSL.readString bio)
| 12 => Option.map MsgMultiConfig
(recvList OpenSSL.readString bio)
+ | 13 => Option.map MsgRmdom (OpenSSL.readString bio)
+ | 14 => SOME MsgRegenerate
| _ => NONE)
end