version 1.4, 2002/10/03 03:05:44 |
version 1.6, 2006/02/08 05:31:37 |
Line 70 static struct ErrMsg Errmsg; |
|
Line 70 static struct ErrMsg Errmsg; |
|
* interrupt_state : flag to distinguish an Asir error and a cancellation |
* interrupt_state : flag to distinguish an Asir error and a cancellation |
*/ |
*/ |
|
|
static int emergency; |
int emergency; |
static int interrupt_state; |
static int interrupt_state; |
int debuggui_is_present; |
int debuggui_is_present; |
int messagegui_is_present; |
int messagegui_is_present; |
Line 130 void watch_intr() { |
|
Line 130 void watch_intr() { |
|
default: |
default: |
terminate_debug_gui(); |
terminate_debug_gui(); |
emergency = 1; /* XXX */ |
emergency = 1; /* XXX */ |
asir_terminate(2); |
asir_terminate(3); |
exit(0); |
exit(0); |
/* NOTREACHED */ |
/* NOTREACHED */ |
break; |
break; |
Line 162 void ox_watch_intr() { |
|
Line 162 void ox_watch_intr() { |
|
ResetEvent(hOxKill); |
ResetEvent(hOxKill); |
terminate_debug_gui(); |
terminate_debug_gui(); |
emergency = 1; /* XXX */ |
emergency = 1; /* XXX */ |
asir_terminate(2); |
asir_terminate(3); |
/* NOTREACHED */ |
/* NOTREACHED */ |
break; |
break; |
} |
} |