そのまんま!
pg_get_pid
(PHP 4 >= 4.3.0, PHP 5)
pg_get_pid -- バックエンドのプロセス ID を得る
説明
int
pg_get_pid ( resource connection )
pg_get_pid() は、バックエンド(データベースサーバ
のプロセス)のプロセス ID を取得します。プロセス ID は、
NOTIFY メッセージが他のプロセスから送信されている
かどうかを調べるために有用です。
パラメータ
connection
PostgreSQL データベースの接続リソース。
返り値
バックエンドのデータベースのプロセス ID 。
例
例 1. PostgreSQL バックエンドの PID
<?php $conn = pg_pconnect("dbname=publisher"); if (!$conn) { echo "An error occured.\n"; exit; }
// バックエンドのプロセスIDを取得。このプロセスIDをpg_get_notify()で使用 $pid = pg_get_pid($conn); ?>
|
|