DBMS database creation
[hcoop/domtool2.git] / src / main-dbtool.sml
index 98e6e03..73a02a2 100644 (file)
@@ -27,4 +27,9 @@ val _ =
          | _ =>
            case rest of
                ["adduser"] => Main.requestDbUser dbtype
+             | ["createdb", dbname] =>
+               if Dbms.validDbname dbname then
+                   Main.requestDbTable {dbtype = dbtype, dbname = dbname}
+               else
+                   print ("Invalid database name " ^ dbname ^ ".\n")
              | _ => print "Invalid command-line arguments\n"