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.