mirror of
https://github.com/postgres/postgres.git
synced 2026-04-15 22:10:45 -04:00
Mark GUC external_pid_file's default as '' in postgresql.conf, rather
than '(none)'.
This commit is contained in:
parent
3e9a2672d2
commit
e26d5fcd94
1 changed files with 1 additions and 1 deletions
|
|
@ -46,7 +46,7 @@
|
|||
# (change requires restart)
|
||||
|
||||
# If external_pid_file is not explicitly set, no extra PID file is written.
|
||||
#external_pid_file = '(none)' # write an extra PID file
|
||||
#external_pid_file = '' # write an extra PID file
|
||||
# (change requires restart)
|
||||
|
||||
|
||||
|
|
|
|||
Loading…
Reference in a new issue