X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/504618b9ccf4bdbd8b3e27f799770b16c6358a71..99cc41443c07f97535eaeecc628d99075ca2cebf:/src/main-dbtool.sml

diff --git a/src/main-dbtool.sml b/src/main-dbtool.sml
index f969c76..7bf0fec 100644
--- a/src/main-dbtool.sml
+++ b/src/main-dbtool.sml
@@ -63,4 +63,9 @@ val _ =
 		    Main.requestDbDrop {dbtype = dbtype, dbname = dbname}
 		else
 		    print ("Invalid database name " ^ dbname ^ ".\n")
+	      | ["grant", dbname] =>
+		if Dbms.validDbname dbname then
+		    Main.requestDbGrant {dbtype = dbtype, dbname = dbname}
+		else
+		    print ("Invalid database name " ^ dbname ^ ".\n")
 	      | _ => print "Invalid command-line arguments\n"