pg_get_pid
(PHP 4 >= 4.3.0, PHP 5)
pg_get_pid -- Lit l'identifiant de processus du serveur PostgreSQL
Description
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 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().