[pgpool-committers: 7056] pgpool: Add changes to src/config/pool_config.l and regenerate src/conf

[Bo Peng]

Add changes to src/config/pool_config.l and regenerate src/config/pool_config.c.
That is missed in previous commit a840ecb2c0aa15448f7fc63a7b0bb46949a9c24f.

Branch
------
master

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

Modified Files
--------------
src/config/pool_config.c | 62 ++++++++++++++++++++++++------------------------
src/config/pool_config.l | 10 +++++++-
2 files changed, 40 insertions(+), 32 deletions(-)