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

bmomjian · bmomjian · commit e26d5fcd94d1 · 2011-10-10T08:17:10.000-04:00
than '(none)'.
diff --git 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)
 
 
