X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/0ef723ce97749ca6a6764afd39ba05ca81fb1bc2..a92add469211c33a0820839dae449853cd427b66:/configDefault/postgres.cfg diff --git a/configDefault/postgres.cfg b/configDefault/postgres.cfg index 6c91204..83dfe53 100644 --- a/configDefault/postgres.cfg +++ b/configDefault/postgres.cfg @@ -1,7 +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 " -val dropdb = "/usr/bin/sudo /usr/local/sbin/domtool-postgres dropdb " +val adduser = "/usr/bin/sudo /usr/local/sbin/domtool-postgres adduser" +val createdb = "/usr/bin/sudo /usr/local/sbin/domtool-postgres createdb" +val dropdb = "/usr/bin/sudo /usr/local/sbin/domtool-postgres dropdb" + +val postgres81port = "5432"; +val postgres91port = "5433" end