Fix pg_ctl restart bug

We document 'pg_ctl restart' to preserve any command-line arguments
passed when the server was started:

Restarting the server is almost equivalent to stopping the
server and starting it again except that <command>pg_ctl</command>
saves and reuses the command line options that were passed
to the previously running instance. To restart

However, as of 2004-10-15, this has not worked. :-( The attached patch
is the one that caused the bug --- on non-Unix systems, SYSTEMQUOTE is
"", meaning zero-length string. I should have seen the bug when I
applied the contributed patch in 2004.

The second attached applied patch fixes the problem.

--
Bruce Momjian <bruce(at)momjian(dot)us> http://momjian.us
EnterpriseDB http://enterprisedb.com

+ If your life is a hard drive, Christ can be your backup. +