pike.git / src / threads.c

version» Context lines:

pike.git/src/threads.c:1232:    }       if(throw_severity == THROW_EXIT)    {    /* This is too early to get a clean exit if DO_PIKE_CLEANUP is    * active. Otoh it cannot be done later since it requires the    * evaluator stacks in the gc calls. It's difficult to solve    * without handing over the cleanup duty to the main thread. */    pike_do_exit(throw_value.u.integer);    } -  -  state->status = THREAD_ABORTED; +     } else {    back.severity=THROW_EXIT;    func(ctx);    }       UNSETJMP(back);   }      PMOD_EXPORT void call_with_interpreter(void (*func)(void *ctx), void *ctx)   {