[pgpool-committers: 5766] pgpool: Fix NULL pointer dereference pointed out by Coverity.

[Tatsuo Ishii]

Fix NULL pointer dereference pointed out by Coverity.

Branch
------
master

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

Modified Files
--------------
src/protocol/pool_proto2.c | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)