loop []
end
+fun sendOption f (bio, opt) =
+ case opt of
+ NONE => OpenSSL.writeInt (bio, 0)
+ | SOME x => (OpenSSL.writeInt (bio, 1);
+ f (bio, x))
+
+fun recvOption f bio =
+ case OpenSSL.readInt bio of
+ SOME 0 => SOME NONE
+ | SOME 1 =>
+ (case f bio of
+ SOME x => SOME (SOME x)
+ | NONE => NONE)
+ | _ => NONE
+
+fun sendBool (bio, b) =
+ if b then
+ OpenSSL.writeInt (bio, 1)
+ else
+ OpenSSL.writeInt (bio, 0)
+
+fun recvBool bio =
+ case OpenSSL.readInt bio of
+ SOME 0 => SOME false
+ | SOME 1 => SOME true
+ | _ => NONE
+
fun send (bio, m) =
case m of
MsgOk => OpenSSL.writeInt (bio, 1)
| MsgRegenerate => OpenSSL.writeInt (bio, 14)
| MsgRmuser dom => (OpenSSL.writeInt (bio, 15);
OpenSSL.writeString (bio, dom))
+ | MsgCreateDbUser {dbtype, passwd} => (OpenSSL.writeInt (bio, 16);
+ OpenSSL.writeString (bio, dbtype);
+ sendOption OpenSSL.writeString (bio, passwd))
+ | MsgCreateDbTable {dbtype, dbname} => (OpenSSL.writeInt (bio, 17);
+ OpenSSL.writeString (bio, dbtype);
+ OpenSSL.writeString (bio, dbname))
+ | MsgNewMailbox {domain, user, passwd, mailbox} =>
+ (OpenSSL.writeInt (bio, 18);
+ OpenSSL.writeString (bio, domain);
+ OpenSSL.writeString (bio, user);
+ OpenSSL.writeString (bio, passwd);
+ OpenSSL.writeString (bio, mailbox))
+ | MsgPasswdMailbox {domain, user, passwd} =>
+ (OpenSSL.writeInt (bio, 19);
+ OpenSSL.writeString (bio, domain);
+ OpenSSL.writeString (bio, user);
+ OpenSSL.writeString (bio, passwd))
+ | MsgRmMailbox {domain, user} =>
+ (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 (fn (bio, {user, mailbox}) =>
+ (OpenSSL.writeString (bio, user);
+ OpenSSL.writeString (bio, mailbox)))
+ (bio, users))
+ | MsgSaQuery addr => (OpenSSL.writeInt (bio, 23);
+ OpenSSL.writeString (bio, addr))
+ | MsgSaStatus b => (OpenSSL.writeInt (bio, 24);
+ sendBool (bio, b))
+ | MsgSaSet (addr, b) => (OpenSSL.writeInt (bio, 25);
+ OpenSSL.writeString (bio, addr);
+ sendBool (bio, b))
fun checkIt v =
case v of
| 13 => Option.map MsgRmdom (recvList OpenSSL.readString bio)
| 14 => SOME MsgRegenerate
| 15 => Option.map MsgRmuser (OpenSSL.readString bio)
+ | 16 => (case (OpenSSL.readString bio, recvOption OpenSSL.readString bio) of
+ (SOME dbtype, SOME passwd) =>
+ SOME (MsgCreateDbUser {dbtype = dbtype, passwd = passwd})
+ | _ => NONE)
+ | 17 => (case (OpenSSL.readString bio, OpenSSL.readString bio) of
+ (SOME dbtype, SOME dbname) =>
+ SOME (MsgCreateDbTable {dbtype = dbtype, dbname = dbname})
+ | _ => NONE)
+ | 18 => (case (OpenSSL.readString bio, OpenSSL.readString bio,
+ OpenSSL.readString bio, OpenSSL.readString bio) of
+ (SOME domain, SOME user, SOME passwd, SOME mailbox) =>
+ SOME (MsgNewMailbox {domain = domain, user = user,
+ passwd = passwd, mailbox = mailbox})
+ | _ => NONE)
+ | 19 => (case (OpenSSL.readString bio, OpenSSL.readString bio,
+ OpenSSL.readString bio) of
+ (SOME domain, SOME user, SOME passwd) =>
+ SOME (MsgPasswdMailbox {domain = domain, user = user,
+ passwd = passwd})
+ | _ => NONE)
+ | 20 => (case (OpenSSL.readString bio, OpenSSL.readString bio) of
+ (SOME domain, SOME user) =>
+ SOME (MsgRmMailbox {domain = domain, user = user})
+ | _ => NONE)
+ | 21 => Option.map MsgListMailboxes (OpenSSL.readString bio)
+ | 22 => Option.map MsgMailboxes (recvList
+ (fn bio =>
+ case (OpenSSL.readString bio,
+ OpenSSL.readString bio) of
+ (SOME user, SOME mailbox) =>
+ SOME {user = user, mailbox = mailbox}
+ | _ => NONE)
+ bio)
+ | 23 => Option.map MsgSaQuery (OpenSSL.readString bio)
+ | 24 => Option.map MsgSaStatus (recvBool bio)
+ | 25 => (case (OpenSSL.readString bio, recvBool bio) of
+ (SOME user, SOME b) => SOME (MsgSaSet (user, b))
+ | _ => NONE)
| _ => NONE)
end