external_pid_file

Specifies the name of an additional process-ID (PID) file that the server should create for use by server administration programs. This parameter can only be set at server start.

English manual coverage begins with PostgreSQL 7.4. Source history and runtime observations have their own recorded version boundaries.

Reading PG 18·Select a recorded version

8.0 8.1 8.2 8.3 8.4 9.0 9.1 9.2 9.3 9.4 9.5 9.6 10 11 12 13 14 15 16 17 18 19 20

boot val: Unknown
category: File Locations
context: postmaster
documented: true
enumvals: Unknown
extra desc: Unknown
lang: en
max val: Unknown
metadata version: 18
min val: Unknown
name: external_pid_file
short desc: Writes the postmaster PID to the specified file.
source: pg-settings-source-snapshot
unit: Unknown
vartype: string

Definition PG 18

Specifies the name of an additional process-ID (PID) file that the server should create for use by server administration programs. This parameter can only be set at server start.

Compare versions

Source references

Original manual reference

Full definition and evidence JSON

Definition sources

center · PostgreSQL 18 · wiki-repair-20261023:e7747de42253c52cb818a1bd175e52da70264f8572457d4343cd274e906f0697

Text language: en · wiki-repair-20261023:e7747de42253c52cb818a1bd175e52da70264f8572457d4343cd274e906f0697