end
| ["createdb", dbname] =>
if Dbms.validDbname dbname then
- Main.requestDbTable {dbtype = dbtype, dbname = dbname}
+ Main.requestDbTable {dbtype = dbtype, dbname = dbname, encoding = NONE}
else
print ("Invalid database name " ^ dbname ^ ".\n")
+ | ["createdb", dbname, encoding] =>
+ if not (Dbms.validDbname dbname) then
+ print ("Invalid database name " ^ dbname ^ ".\n")
+ else if not (Dbms.validEncoding (SOME encoding)) then
+ print ("Invalid encoding name " ^ encoding ^ ".\n")
+ else
+ Main.requestDbTable {dbtype = dbtype, dbname = dbname, encoding = SOME encoding}
| ["dropdb", dbname] =>
if Dbms.validDbname dbname then
Main.requestDbDrop {dbtype = dbtype, dbname = dbname}