(PHP 4 >= 4.3.0, PHP 5, PHP 7)
pg_ping — Ping 数据库连接
$connection
)
pg_ping() ping
数据库连接，如果中断则尝试重新连接。如果连接在活动状态返回
TRUE，否则返回 FALSE。
Example #1 pg_ping()
<?php
$conn = pg_pconnect ("dbname=publisher");
if (!$conn) {
echo "An error occured.\n";
exit;
}
if (!pg_ping($conn))
die("Connection is broken\n");
?>