X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/f6c112c388c3db7a129164ff0306d50a3c6f4e23..291eacbf162d2823f4667cbb3f9330528c4acf99:/src/main-dbtool.sml

diff --git a/src/main-dbtool.sml b/src/main-dbtool.sml
index d9765a9..d45d15e 100644
--- a/src/main-dbtool.sml
+++ b/src/main-dbtool.sml
@@ -58,9 +58,16 @@ val _ =
 		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}