X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/1b1021cb38f85f638ec5b2141075e99c7b5f0fdd..fe789bea628b15229156c8a4272c2b6063c9b1a0:/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}