Index: exec.c
===================================================================
RCS file: /sources/qemu/qemu/exec.c,v
retrieving revision 1.103
diff -u -r1.103 exec.c
--- exec.c	1 Jul 2007 18:21:11 -0000	1.103
+++ exec.c	4 Aug 2007 13:07:52 -0000
@@ -1301,7 +1301,7 @@
         fflush(logfile);
         fclose(logfile);
     }
-    abort();
+    exit(1);
 }
 
 CPUState *cpu_copy(CPUState *env)