Adding database dropping to dbtool

[hcoop/domtool2.git] / src / plugins / postgres.sml

diff --git a/src/plugins/postgres.sml b/src/plugins/postgres.sml
index c2539eb..b92a5cf 100644 (file)
--- a/src/plugins/postgres.sml
+++ b/src/plugins/postgres.sml
@@ -26,14 +26,24 @@ fun adduser {user, passwd} =
     else
        SOME "Error executing CREATE USER script"
 
+fun passwd _ = SOME "We don't use PostgreSQL passwords."
+
 fun createdb {user, dbname} =
     if Slave.shell [Config.Postgres.createdb, user, " ", dbname] then
        NONE
     else
        SOME "Error executing CREATE DATABASE script"
 
+fun dropdb {user, dbname} =
+    if Slave.shell [Config.Postgres.dropdb, user, " ", dbname] then
+       NONE
+    else
+       SOME "Error executing DROP DATABASE script"
+
 val _ = Dbms.register ("postgres", {getpass = NONE,
                                    adduser = adduser,
-                                   createdb = createdb})
+                                   passwd = passwd,
+                                   createdb = createdb,
+                                   dropdb = dropdb})
 
 end