Re: windows doesn't notice backend death

I wrote:
> Attached is a proposed patch for the "dead man switch" idea.
> ...
> Barring objections I'll go ahead and apply this to HEAD.  I'm wondering
> whether we are sufficiently worried about the Windows task manager issue
> to risk back-patching into 8.3 and 8.2 ... comments?

For lack of response, I assume no one wants to back-patch this.
        regards, tom lane