[pgpool-committers: 2711] pgpool: Allow to specify database for health check and streaming replic

[Tatsuo Ishii]

Allow to specify database for health check and streaming replication delay check.

For this purpose new directive "health_check_database" and
"sr_check_database" are added. This is useful for certain environment
in which using postgres and/or template1 database is not allowed.

Branch
------
master

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

Modified Files
--------------
doc/pgpool-en.html                            |   22 ++++++
doc/pgpool-ja.html                            |   21 +++++
src/config/pool_config.c                      |  101 ++++++++++++++++++++-----
src/config/pool_config.l                      |   54 +++++++++++--
src/include/pool_config.h                     |    4 +-
src/main/pgpool_main.c                        |   12 ++-
src/sample/pgpool.conf.sample                 |    5 ++
src/sample/pgpool.conf.sample-master-slave    |    4 +
src/sample/pgpool.conf.sample-replication     |    4 +
src/sample/pgpool.conf.sample-stream          |    4 +
src/streaming_replication/pool_worker_child.c |    2 +-
src/utils/pool_process_reporting.c            |   10 +++
12 files changed, 213 insertions(+), 30 deletions(-)