diff options
author | Nozomi Anzai | 2010-07-22 05:19:36 +0000 |
---|---|---|
committer | Nozomi Anzai | 2010-07-22 05:19:36 +0000 |
commit | 1c9e0ece0a0120d08582ea4726e575c7228b7d65 (patch) | |
tree | 8d1bbc0b58e40a9480afd149ff317b218598d286 | |
parent | 8d0551f2539daaf89ead62388a776ce6a16a1624 (diff) |
Add define() for the new start option "-D"
-rw-r--r-- | conf/pgmgt.conf.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/conf/pgmgt.conf.php b/conf/pgmgt.conf.php index 732e5cb..86160de 100644 --- a/conf/pgmgt.conf.php +++ b/conf/pgmgt.conf.php @@ -4,12 +4,13 @@ define('_PGPOOL2_CONFIG_FILE', '/usr/local/etc/pgpool.conf'); define('_PGPOOL2_PASSWORD_FILE', '/usr/local/etc/pcp.conf'); define('_PGPOOL2_COMMAND', '/usr/local/bin/pgpool'); define('_PGPOOL2_CMD_OPTION_C', '0'); +define('_PGPOOL2_CMD_OPTION_LARGE_D', '0'); define('_PGPOOL2_CMD_OPTION_D', '0'); define('_PGPOOL2_CMD_OPTION_M', 's'); define('_PGPOOL2_CMD_OPTION_N', '0'); define('_PGPOOL2_LOG_FILE', '/tmp/pgpool.log'); define('_PGPOOL2_PCP_DIR', '/usr/local/bin'); define('_PGPOOL2_PCP_HOSTNAME', 'localhost'); -define('_PGPOOL2_PCP_TIMEOUT', ''); +define('_PGPOOL2_PCP_TIMEOUT', '10'); define('_PGPOOL2_STATUS_REFRESH_TIME', '0'); ?> |