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é 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().

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