(PHP 4 >= 4.3.0, PHP 5)
pg_get_pid — Lit l'identifiant de processus du serveur PostgreSQL
pg_get_pid() lit l'identifiant de processus du serveur PostgreSQL. L'identifiant de processus est pratique pour vérifier si un message de NOTIFY a été envoyé via pg_get_notify() par un autre processus ou pas.
Une ressource de connexion PostgreSQL
L'identifiant du processus du serveur.
Exemple 2103. Exemple avec pg_get_pid()
<?php
$conn
=
pg_pconnect
(
"dbname=publisher"
);
if (!
$conn
) {
echo
"Une erreur est survenue.\n"
;
exit;
}
// PID du serveur. Utilisez alors le PID avec pg_get_notify()
$pid
=
pg_get_pid
(
$conn
);
?>
pg_get_notify() |