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

Voir aussi

pg_get_notify()

Hosting by: Hurra Communications GmbH
Generated: 2007-01-26 18:02:14