Manuel PHP
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é via pg_get_notify() par un autre processus ou pas.
Liste de paramètres
- connection
-
Une ressource de connexion PostgreSQL
Valeurs de retour
L'identifiant du processus du serveur.
Exemples
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);
- ?>
Remonter 
