PHP マニュアル
前のページ |  | 次のページ

# pg_get_pid

(no version information, might be only in CVS)

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.

See also pg_get_notify()

例 1PostgreSQL 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);
    ?>

前のページ | ホーム | 次のページ
pg_get_notify | 上に戻る | pg_get_result