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

diff --git a/src/plugins/mysql.sml b/src/plugins/mysql.sml
index dae75cc..7f55e5f 100644
--- a/src/plugins/mysql.sml
+++ b/src/plugins/mysql.sml
@@ -53,9 +53,16 @@ fun createdb {user, dbname} =
     else
 	SOME "Error executing CREATE DATABASE script"
 
+fun dropdb {user, dbname} =
+    if Slave.shell [Config.MySQL.dropdb, user, " ", dbname] then
+	NONE
+    else
+	SOME "Error executing DROP DATABASE script"
+
 val _ = Dbms.register ("mysql", {getpass = SOME Client.getpass,
 				 adduser = adduser,
 				 passwd = passwd,
-				 createdb = createdb})
+				 createdb = createdb,
+				 dropdb = dropdb})
 
 end