pg_get_pid

(PHP 4 >= 4.3.0, PHP 5)

pg_get_pid -- Gets backend's process ID

Leírás

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.

Példák

Példa 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);
?>

Lásd még

pg_get_notify()