Manuel PHP
Précédent |  | Suivant

# 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()

Précédent | Sommaire | Suivant
pg_get_notify | Niveau supérieur | pg_get_result