pg_get_pid
(PHP 4 >= 4.3.0, PHP 5)
pg_get_pid -- Ping database connection
Description
int
pg_get_pid ( resource connection )
pg_get_pid() gets backend (database server
process) PID. PID is useful to check if NOTIFY
message is sent from other process or not.
Examples
Example 1. PostgreSQL backend PID
<?php $conn = pg_pconnect("dbname=publisher"); if (!$conn) { echo "An error occured.\n"; exit; }
// Backend process PID. Use PID with pg_get_notify() $pid = pg_get_pid($conn); ?>
|
|