[pgpool-committers: 782] pgpool: Add options wd_lifecheck_dbname, wd_lifecheck_user, wd_lifechec

[Yugo Nagata]

Add options wd_lifecheck_dbname, wd_lifecheck_user, wd_lifecheck_password.

These options specify the database name, the user name, and password used
in lifecheck of watchdog. Previously, these are hard coded to use template1,
recovery_user, and recovery_password.

Branch
------
master

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

Modified Files
--------------
doc/pgpool-en.html              |   25 +++++++++++++++
doc/pgpool-ja.html              |   23 ++++++++++++++
pgpool.conf.sample              |    6 ++++
pgpool.conf.sample-master-slave |    6 ++++
pgpool.conf.sample-replication  |    6 ++++
pgpool.conf.sample-stream       |    6 ++++
pool_config.h                   |    5 ++-
pool_config.l                   |   63 +++++++++++++++++++++++++++++++++++++++
pool_process_reporting.c        |   15 +++++++++
watchdog/wd_lifecheck.c         |   21 +++++++++++--
10 files changed, 172 insertions(+), 4 deletions(-)