ping server and eventually reset conn on wakeup
authorMichael Wallner <mike@php.net>
Sat, 13 Sep 2014 06:56:29 +0000 (08:56 +0200)
committerMichael Wallner <mike@php.net>
Sat, 13 Sep 2014 06:56:29 +0000 (08:56 +0200)
commit6dc0521ba88d2dbf4ac0ca773b0726ebc2b998a7
tree2e6b4d0a9be3c72e6961218fb828df17b70ccb3f
parent280761d6fe87cb4ee24eb750398af80dfb96781f
ping server and eventually reset conn on wakeup
src/php_pqconn.c