Index: synopsis-trunk/src/Support/ErrorHandler.cc
===================================================================
--- synopsis-trunk/src/Support/ErrorHandler.cc	(revision 1816)
+++ synopsis-trunk/src/Support/ErrorHandler.cc	(working copy)
@@ -24,7 +24,7 @@ Synopsis::ErrorHandler::Callback callbac
   struct sigaction olda;
   struct sigaction newa;
 #endif
-  
+
 void print_stack()
 {
 #ifdef __GLIBC__
@@ -60,7 +60,8 @@ void sighandler(int signo)
   std::cerr << signame << " caught" << std::endl;
   if (callback) callback();
   print_stack();
-  exit(-1);
+  /* Do not run the __exit_function_table.  */
+  _exit(-1);
 }
 
 }
@@ -75,7 +76,7 @@ ErrorHandler::ErrorHandler(Callback c)
   sigaction(SIGSEGV, &newa, &olda);
   sigaction(SIGBUS, &newa, &olda);
   sigaction(SIGABRT, &newa, &olda);
-#endif  
+#endif
 }
 
 ErrorHandler::~ErrorHandler()