I have updated the pg_ctl docs to explain server output behavior
differences on win32 and non-win32 platforms; applied patch attached.
--
Bruce Momjian <bruce(at)momjian(dot)us> http://momjian.us
EnterpriseDB http://enterprisedb.com
+ None of us is going to be here forever. +