[pgpool-committers: 9966] pgpool: Fixed segmentation fault at parsing config file.

[Bo Peng]

Fixed segmentation fault at parsing config file.

This commit fixed a segmentation fault that occurs when parsing pgpool.conf
if the setting value was not enclosed in single quotes.

The patch is created by Carlos Chapi, reviewed and modified by Tatsuo Ishii.

Branch
------
master

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

Modified Files
--------------
src/config/pool_config.l | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)