pg_get_pid

Description

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

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); ?>

Voir aussi