Index: src/main.cc
===================================================================
--- src/main.cc	(revision 2248dc7c005896b9e60bccf5dbfec6858581408e)
+++ src/main.cc	(revision af84a35aeb9643d582be4f7ee1c2f869a1a7ca73)
@@ -10,6 +10,6 @@
 // Created On       : Fri May 15 23:12:02 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed May 30 17:53:14 2018
-// Update Count     : 496
+// Last Modified On : Wed Jun  6 15:51:47 2018
+// Update Count     : 498
 //
 
@@ -157,5 +157,6 @@
 		 << "." << endl;
 	backtrace( 2 );										// skip first 2 stack frames
-	exit( EXIT_FAILURE );
+	//_exit( EXIT_FAILURE );
+	abort();
 } // sigSegvBusHandler