Robert Haas <robertmhaas@gmail.com> writes:
> On Tue, Aug 24, 2010 at 9:58 AM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>> Given the existence of the deadman switch mechanism (which I hadn't
>> remembered when this thread started), I'm coming around to the idea that
>> we could just treat exit(128) as nonfatal on Windows. �If for some
>> reason the child hadn't died instantly at startup, the deadman switch
>> would distinguish that from the case described here.
> So do you want to code this up?
Who, me? I don't do Windows --- I'd have no way to test it.
regards, tom lane