pg_ping

(PHP 4 >= 4.3.0)

pg_ping -- Pingue la connexion à la base

Description

array pg_ping ( resource connection)

pg_ping() pingue la connexion à la base de données, et essaie de se reconnecter si la connexion est perdue. pg_ping() retourne TRUE si la connexion est active, et FALSE sinon.

Exemple 1. Exemple avec pg_ping()

<?php 
$conn = pg_pconnect ("dbname=publisher");
if (!$conn) {
    echo "Une erreur est survenue.\n";
    exit;
}

if (!pg_ping($conn))
    die("La connexion est morte\n");
?>

Voir aussi pg_connection_status() et pg_connection_reset().