postgres: rename dbms postgres-9.1 to postgres-9

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

diff --git a/src/plugins/postgres.sml b/src/plugins/postgres.sml
index 6bc3505..fda5801 100644 (file)
--- a/src/plugins/postgres.sml
+++ b/src/plugins/postgres.sml
@@ -37,18 +37,11 @@ fun dropdb port {user, dbname} =
     Option.map (fn s => "Error executing DROP DATABASE script:\n" ^ s)
               (Slave.shellOutput [Config.Postgres.dropdb, " ", port, " ", user, " ", dbname])
 
-val _ = Dbms.register ("postgres", {getpass = NONE,
-                                   adduser = adduser Config.Postgres.postgres81port,
-                                   passwd = passwd,
-                                   createdb = createdb Config.Postgres.postgres81port,
-                                   dropdb = dropdb Config.Postgres.postgres81port,
-                                   grant = fn _ => SOME "You don't need to use GRANT for Postgres."})
-
-val _ = Dbms.register ("postgres-9.1", {getpass = NONE,
-                                       adduser = adduser Config.Postgres.postgres91port,
+val _ = Dbms.register ("postgres-9", {getpass = NONE,
+                                       adduser = adduser Config.Postgres.postgres9port,
                                        passwd = passwd,
-                                       createdb = createdb Config.Postgres.postgres91port,
-                                       dropdb = dropdb Config.Postgres.postgres91port,
+                                       createdb = createdb Config.Postgres.postgres9port,
+                                       dropdb = dropdb Config.Postgres.postgres9port,
                                        grant = fn _ => SOME "You don't need to use GRANT for Postgres."})
 
 end