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

Tatsuo Ishii ishii at sraoss.co.jp
Wed May 22 16:44:14 JST 2019


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(-)



More information about the pgpool-committers mailing list