Displaying 1 result from an estimated 1 matches for "excp_interrupt".
Did you mean:
eip_interrupt
2008 Jan 18
0
[PATCH] nicely terminate the device model script
...ng");
while (1) {
- while (!(vm_running && suspend_requested))
+ while (!((vm_running && suspend_requested) || shutdown_requested))
/* Wait up to 10 msec. */
main_loop_wait(10);
+
+ if (shutdown_requested) {
+ ret = EXCP_INTERRUPT;
+ break;
+ }
fprintf(logfile, "device model saving state\n");
@@ -676,7 +682,7 @@ int main_loop(void)
xenstore_record_dm_state("running");
}
- return 0;
+ return ret;
}
void destroy_hvm_domain(void)
_____________________...