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