external_pid_file

Type: string
Context: postmaster
Restart: true

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.

Recommendations

Creates an extra copy of the process ID. Used for server administration tools which need a copy of the process ID in a specific directory.

Comments