OpenSSL.writeString (bio, dbtype);
OpenSSL.writeString (bio, dbname))
| MsgMysqlFixperms => OpenSSL.writeInt (bio, 38)
- | MsgDescribe dom => (OpenSSL.writeInt (bio, 39);
- OpenSSL.writeString (bio, dom))
- | MsgDescription s => (OpenSSL.writeInt (bio, 40);
- OpenSSL.writeString (bio, s))
fun checkIt v =
case v of
SOME (MsgGrantDb {dbtype = dbtype, dbname = dbname})
| _ => NONE)
| 38 => SOME MsgMysqlFixperms
- | 39 => Option.map MsgDescribe (OpenSSL.readString bio)
- | 40 => Option.map MsgDescription (OpenSSL.readString bio)
| _ => NONE)
end