postgres: rename dbms postgres-9.1 to postgres-9

[hcoop/domtool2.git] / configDefault / postgres.cfg

diff --git a/configDefault/postgres.cfg b/configDefault/postgres.cfg
dissimilarity index 73%
index 3205fcd..58b4254 100644 (file)
--- a/configDefault/postgres.cfg
+++ b/configDefault/postgres.cfg
@@ -1,6 +1,10 @@
-structure Postgres :> POSTGRES_CONFIG = struct
-
-val adduser = "/usr/bin/sudo /usr/local/sbin/domtool-postgres adduser "
-val createdb = "/usr/bin/sudo /usr/local/sbin/domtool-postgres createdb "
-
-end
+structure Postgres :> POSTGRES_CONFIG = struct
+
+val adduser = ConfigCore.sudo ^ " " ^ ConfigCore.installPrefix ^ "/sbin/domtool-postgres adduser"
+val createdb = ConfigCore.sudo ^ " " ^ ConfigCore.installPrefix ^ "/sbin/domtool-postgres createdb"
+val dropdb = ConfigCore.sudo ^ " " ^ ConfigCore.installPrefix ^ "/sbin/domtool-postgres dropdb"
+
+val postgres81port = "5432";
+val postgres9port = "5433"
+
+end