Description
int
pg_get_pid
( resource connection)
pg_get_pid(
)
lit
l
'identifiant
de
processus
du
serveur
PostGreSQL
.
Le
PID
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(
)
.