[pgpool-committers: 7973] 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
------
master

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

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