Mark GUC external_pid_file's default as '' in postgresql.conf, rather

than '(none)'.

diff --git a/src/backend/utils/misc/postgresql.conf.sample b/src/backend/utils/misc/postgresql.conf.sample
index 1d8bd3dd23542c5b77e118b2f78f14d4b649bc62..67b098bd6d741848a5ed70028abc6466357d91ca 100644 (file)
--- 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)