Index: exceptions.c
===================================================================
--- exceptions.c	(revision 25723)
+++ exceptions.c	(working copy)
@@ -153,7 +153,6 @@
     fprintf(stderr, "\nDumping Core...\n");
 
     dumpcore();
-    exit(EXIT_FAILURE);
 }
 
 /*