pg_get_pid
(PHP 4 >= 4.3.0)
pg_get_pid -- Lit l'identifiant de processus du serveur
Description
int
pg_get_pid ( resource connection)
pg_get_pid() lit l'identifiant de processus du
serveur PostGreSQL. Le PID est pratique pour vérifier si un message de
NOTIFY a été envoyé par un autre processus ou pas.
Exemple 1. 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);
?> |
|
Voir aussi
pg_get_notify().