X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/d541c6185fb0f426dce0b16e85327b53635169e0..90dd48df1de3ea116fe2f2c0ec0fe36c71e17e5c:/src/main-dbtool.sml diff --git a/src/main-dbtool.sml b/src/main-dbtool.sml index 98e6e03..73a02a2 100644 --- a/src/main-dbtool.sml +++ b/src/main-dbtool.sml @@ -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"