Main.requestDbTable {dbtype = dbtype, dbname = dbname}
else
print ("Invalid database name " ^ dbname ^ ".\n")
+ | ["dropdb", dbname] =>
+ if Dbms.validDbname dbname then
+ Main.requestDbDrop {dbtype = dbtype, dbname = dbname}
+ else
+ print ("Invalid database name " ^ dbname ^ ".\n")
| _ => print "Invalid command-line arguments\n"