Hi Tobias, Tobias Stoeckmann <[email protected]> writes:
> - signal (SIGALRM, abort_run_with_timeout);
> if (SETJMP (run_with_timeout_env) != 0)
> {
> /* Longjumped out of FUN with a timeout. */
> signal (SIGALRM, SIG_DFL);
> return true;
> }
> + else
> + {
> + signal (SIGALRM, abort_run_with_timeout);
> + }
> alarm_set (timeout);
> fun (arg);
Looks fine to me.
I have added a line to the commit message and pushed your patch.
Thanks,
Giuseppe
