X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/072f12c82089f091932e1e14421986214c93007d..35659203a708078cdec25ff74adbe1e9168934d6:/src/main-dbtool.sml

diff --git a/src/main-dbtool.sml b/src/main-dbtool.sml
index a571159..f969c76 100644
--- a/src/main-dbtool.sml
+++ b/src/main-dbtool.sml
@@ -58,4 +58,9 @@ val _ =
 		    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"