(case Dbms.lookup dbtype of
NONE => ((Msg.send (bio, MsgError ("Unknown database type " ^ dbtype));
print ("Database user creation request with unknown datatype type " ^ dbtype);
(case Dbms.lookup dbtype of
NONE => ((Msg.send (bio, MsgError ("Unknown database type " ^ dbtype));
print ("Database user creation request with unknown datatype type " ^ dbtype);