summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNozomi Anzai2010-07-22 05:19:36 +0000
committerNozomi Anzai2010-07-22 05:19:36 +0000
commit1c9e0ece0a0120d08582ea4726e575c7228b7d65 (patch)
tree8d1bbc0b58e40a9480afd149ff317b218598d286
parent8d0551f2539daaf89ead62388a776ce6a16a1624 (diff)
Add define() for the new start option "-D"
-rw-r--r--conf/pgmgt.conf.php3
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');
?>