[pgpool-committers: 7972] pgpool: Update configure and src/config/pool_config.c due to the previo

[Bo Peng]

Update configure and src/config/pool_config.c due to the previous commit.

Branch
------
V4_2_STABLE

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

Modified Files
--------------
configure                | 41 +++++++++++++++++++++++++++++++++++++++++
src/config/pool_config.c | 37 +++++++++++++++++++++----------------
2 files changed, 62 insertions(+), 16 deletions(-)