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

[Tatsuo Ishii]

Fix NULL pointer dereference pointed out by Coverity.

Branch
------
V4_0_STABLE

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

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