|
6.31.38 pg_get_pid()Lit l'identifiant de processus du serveur PostgreSQL[ Exemples avec pg_get_pid ] PHP 4 >= 4.3.0, PHP 5
int
pg_get_pid (
resource
connection
)
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é
par un autre processus ou pas.
| 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
.
|