![]() ![]() | ![]() |
version 1.42, 2011/12/31 15:29:26 | version 1.43, 2012/03/16 20:34:23 |
---|---|
Line 92 graceful_exit (int sig) | Line 92 graceful_exit (int sig) |
exit (0x80|sig); | exit (0x80|sig); |
} | } |
jmp_buf throw_jmp_buf; | __thread jmp_buf throw_jmp_buf; |
void throw(int code) | void throw(int code) |
{ | { |