| MsgDropDb {dbtype, dbname} => (OpenSSL.writeInt (bio, 36);
OpenSSL.writeString (bio, dbtype);
OpenSSL.writeString (bio, dbname))
+ | MsgGrantDb {dbtype, dbname} => (OpenSSL.writeInt (bio, 37);
+ OpenSSL.writeString (bio, dbtype);
+ OpenSSL.writeString (bio, dbname))
fun checkIt v =
case v of
(SOME dbtype, SOME dbname) =>
SOME (MsgDropDb {dbtype = dbtype, dbname = dbname})
| _ => NONE)
+ | 37 => (case (OpenSSL.readString bio, OpenSSL.readString bio) of
+ (SOME dbtype, SOME dbname) =>
+ SOME (MsgGrantDb {dbtype = dbtype, dbname = dbname})
+ | _ => NONE)
| _ => NONE)
end