I wrote:
> It may be worth doing the SIGKILL on Unix even if we don't have a
> solution for Windows, but it'd be nice if to have a solution for
> the Windows port too.

I've applied a trivial patch to do the SIGKILL on non-Windows machines.
If any Windows gurus can make it work on Windows too, go for it.
I suspect that spawn_process() and the two kill() calls will all need
to be modified.

                        regards, tom lane

---------------------------(end of broadcast)---------------------------
TIP 6: explain analyze is your friend

Reply via email to