siginfo_t *info,
void *p STG_UNUSED)
{
- sigset_t signals;
-
#if defined(THREADED_RTS)
if (io_manager_pipe != -1)
MainCapability.context_switch = 1;
#endif /* THREADED_RTS */
-
- // re-establish the signal handler, and carry on
- sigemptyset(&signals);
- sigaddset(&signals, sig);
- sigprocmask(SIG_UNBLOCK, &signals, NULL);
}
/* -----------------------------------------------------------------------------