fixes #24
authorMichael Wallner <mike@php.net>
Wed, 3 May 2017 07:16:43 +0000 (09:16 +0200)
committerMichael Wallner <mike@php.net>
Wed, 3 May 2017 07:16:43 +0000 (09:16 +0200)
commit65b81572a092cc9aa9b980f30f7793b45803a211
tree93ed2de0a7bb29bc38fc109fbac65f0e085c83ba
parent6051d47777db6de82448e063a1bd9ab30e30de1d
fixes #24

Segmentation fault after pg_terminate_backend
src/php_pqconn.c