Re: Bug in signal handler

* Martijn van Oosterhout:

>> The fact remains that the postmaster has *always* been coded like that,
>> and we have *never* seen any problems.  Barring proof that there is a
>> problem, I'm uninterested in rewriting it just because someone doesn't
>> like it.
>
> It should probably also be remembered that the "fix" would involve either
> polling the status by having select() return more often, or using
> sigsetjmp/siglongjmp. The cure is definitly worse than the disease.

The standard trick is to add a pipe to the select and write to that
from the signal handler.  I'm not sure if it's worth the effort,
though.