version 1.45, 2012/03/23 19:53:37
|
version 1.46, 2012/03/23 20:49:44
|
Line 101 graceful_exit (int sig)
|
Line 101 graceful_exit (int sig)
|
exit (0x80|sig); |
exit (0x80|sig); |
} |
} |
|
|
__thread jmp_buf throw_jmp_buf; |
__thread jmp_buf * throw_jmp_handler; |
|
|
void throw(int code) |
void throw(int code) |
{ |
{ |
debugp(stderr,"\nthrow code %d to %lx\n", code, (intptr_t)throw_jmp_buf); |
debugp(stderr,"\nthrow code %d to %lx\n", code, (intptr_t)*throw_jmp_handler); |
longjmp(throw_jmp_buf,code); /* !! or use siglongjmp ? */ |
longjmp(*throw_jmp_handler,code); /* !! or use siglongjmp ? */ |
} |
} |
|
|
static void |
static void |