configDefault/postgres.cfg

   1 structure Postgres :> POSTGRES_CONFIG = struct
   2
   3 val adduser = "/usr/bin/sudo /usr/local/sbin/domtool-postgres adduser"
   4 val createdb = "/usr/bin/sudo /usr/local/sbin/domtool-postgres createdb"
   5 val dropdb = "/usr/bin/sudo /usr/local/sbin/domtool-postgres dropdb"
   6
   7 val postgres81port = "5432";
   8 val postgres91port = "5433"
   9
  10 end