[pgpool-committers: 4037] pgpool: Allow to configure health check parameters for each individual

[Muhammad Usama]

Allow to configure health check parameters for each individual node.

This is the next in series patch to implement an infrastructure to support
per-node health check parameters, and enables all health-check related parameter
to be configured for each individual backend nodes. With this commit If the
node-id postfix is used at the end of the health-check parameter name it will
configure the parameter value for specific node-id while the same name parameter
without the node-id can still be used and its value will serve as the default
global value for the individual node parameters where the value is
not explicitly provided.

For example if we have 3 backend nodes and do following configurations.

health_check_period = 10
health_check_period0 = 5

Then will set the health_check_period for node 0 to 5 while
node-id 1 and 2 will get the value 10

Branch
------
master

Details
-------
https://git.postgresql.org/gitweb?p=pgpool2.git;a=commitdiff;h=18f4d2ea08c2562361858b09534490a6fa09d496

Modified Files
--------------
src/config/pool_config.c            |    3 +-
src/config/pool_config_variables.c  | 1012 +++++++++++++++++++++++++----------
src/include/pool_config_variables.h |   37 +-
src/tools/pgmd5/pool_config.c       |    3 +-
4 files changed, 762 insertions(+), 293 deletions(-)