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(
)
.