OpenSSL.writeString (bio, section);
OpenSSL.writeString (bio, description))
| MsgSaChanged => OpenSSL.writeInt (bio, 45)
+ | MsgPortalPasswdMailbox {domain : string, user : string, oldpasswd : string, newpasswd : string} =>
+ (OpenSSL.writeInt (bio, 46);
+ OpenSSL.writeString (bio, domain);
+ OpenSSL.writeString (bio, user);
+ OpenSSL.writeString (bio, oldpasswd);
+ OpenSSL.writeString (bio, newpasswd))
fun checkIt v =
case v of
(SOME section, SOME description) => SOME (MsgAptQuery {section = section, description = description})
| _ => NONE)
| 45 => SOME MsgSaChanged
+ | 46 => (case (OpenSSL.readString bio, OpenSSL.readString bio, OpenSSL.readString bio, OpenSSL.readString bio) of
+ (SOME domain, SOME user, SOME oldpasswd, SOME newpasswd) =>
+ SOME (MsgPortalPasswdMailbox {domain = domain, user = user, oldpasswd = oldpasswd, newpasswd = newpasswd})
+ | _ => NONE)
| _ => NONE)
end