I notice that we use '(none)' as a default for external_pid_file, while
other default no-value settings in the file are ''. The attached patch
changes this.
--
Bruce Momjian <bruce(at)momjian(dot)us> http://momjian.us
EnterpriseDB http://enterprisedb.com
+ It's impossible for everything to be true. +