From 4642e68d6f4ba62903783828ae28e3644202d108 Mon Sep 17 00:00:00 2001 From: discomfitor Date: Thu, 11 Aug 2011 00:35:41 -0400 Subject: [PATCH] abort() instead of exit() --- util.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/util.c b/util.c index 2179abc..b80eb25 100644 --- a/util.c +++ b/util.c @@ -102,7 +102,7 @@ static void fatal_exit(void) unlink_files(); fprintf(outputfile, "Fatal error - exiting\n"); fflush(outputfile); - exit(1); + abort(); } /* Failure when there is likely to be a meaningful error in perror */