(PHP 4 >= 4.3.0, PHP 5)
pg_ping — Ping la connexion à la base
$connection
] )pg_ping() ping la connexion à la base de données et essaie de se reconnecter si la connexion est perdue.
connection
La ressource de connexion de la base de données PostgreSQL. Lorsque
connection n'est pas présent, la connexion par
défaut est utilisée. La connexion par défaut est la dernière connexion
faite par pg_connect() ou pg_pconnect().
Cette fonction retourne TRUE en cas de
succès ou FALSE si une erreur survient.
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 perdue\n");
?>