[pgpool-committers: 2759] pgpool: Documentation update for changes in watchdog. Also changing the

[Muhammad Usama]

Documentation update for changes in watchdog. Also changing the wd_plunge_command
configuration parameter name to wd_de_escalation_command.

Branch
------
watchdog_enhancement

Details
-------
http://git.postgresql.org/gitweb?p=pgpool2.git;a=commitdiff;h=eef02c1e10b322a2996416d0cbfa388bc5c01ecd

Modified Files
--------------
doc/pgpool-en.html                         |  201 ++++++++++++++++++++++++++--
src/config/pool_config.c                   |    6 +-
src/config/pool_config.l                   |    6 +-
src/include/pool_config.h                  |    2 +-
src/sample/pgpool.conf.sample              |    2 +-
src/sample/pgpool.conf.sample-master-slave |    2 +-
src/sample/pgpool.conf.sample-replication  |    2 +-
src/sample/pgpool.conf.sample-stream       |    2 +-
src/tools/pgmd5/pool_config.c              |    9 +-
src/utils/pool_process_reporting.c         |    4 +-
src/watchdog/wd_escalation.c               |   16 +--
11 files changed, 215 insertions(+), 37 deletions(-)