diff options
| author | Bruce Momjian <bruce@momjian.us> | 2011-10-10 08:16:36 -0400 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2011-10-10 08:17:10 -0400 |
| commit | e26d5fcd94d11c3f367ab5fbe246c0288cc9eb44 (patch) | |
| tree | 9a14a2e663e1950f72c53d1b00145a8d1a80446e /src | |
| parent | 3e9a2672d25aed15ae6b4a09decbd8927d069868 (diff) | |
Mark GUC external_pid_file's default as '' in postgresql.conf, rather
than '(none)'.
Diffstat (limited to 'src')
| -rw-r--r-- | src/backend/utils/misc/postgresql.conf.sample | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/backend/utils/misc/postgresql.conf.sample b/src/backend/utils/misc/postgresql.conf.sample index 1d8bd3dd235..67b098bd6d7 100644 --- a/src/backend/utils/misc/postgresql.conf.sample +++ b/src/backend/utils/misc/postgresql.conf.sample @@ -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) |