Re: Can't stop synchronous processes for the second time

[Richard Stallman]

I think you have found the cause of the problem.
As far as I can see, your fix is a good fix.
(Would someone please install it?)

Thanks.

A longjmp there will prevent the following call to set_alarm at the
end of alarm_signal_handler.  Since you report that quitting works
anyway, maybe that doesn't matter.  However, a really clean fix would
still call set_alarm, or else add a comment explaining *why* it is
ok to do a longjmp and not execute that call to set_alarm.