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

[Tatsuo Ishii]

Fix NULL pointer dereference pointed out by Coverity.

Branch
------
V3_5_STABLE

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

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