postgres: rename dbms postgres-9.1 to postgres-9
[hcoop/domtool2.git] / src / plugins / postgres.sml
index 607cf0d..fda5801 100644 (file)
@@ -1,5 +1,6 @@
 (* HCoop Domtool (http://hcoop.sourceforge.net/)
  * Copyright (c) 2006, Adam Chlipala
+ * Copyright (c) 2012 Clinton Ebadi <clinton@unknownlamer.org>
  *
  * This program is free software; you can redistribute it and/or
  * modify it under the terms of the GNU General Public License
@@ -36,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