mlavenne2(at)yahoo(dot)com writes:
> I patched it, here my diff -c pg_ctl pg_ctl_fixed:
I think you probably broke it rather than fixed it. Checking whether
the kill worked isn't a bad idea, but you can't just plow ahead if it
failed.
regards, tom lane