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