From ac2cb8d1d3f65015a62a1ecb95b82899cc3b6a9c Mon Sep 17 00:00:00 2001
From: Greg Zharun <grygoriiz@wavesglobal.com>
Date: Tue, 27 Jan 2015 12:04:11 +0200
Subject: [PATCH] [Summary] Added abort () call instead of exit () if fatal
 error occurs to catch a back trace.

---
 libs/gtkmm2ext/gtk_ui.cc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/libs/gtkmm2ext/gtk_ui.cc b/libs/gtkmm2ext/gtk_ui.cc
index ac25d699fd..f90eb09daf 100644
--- a/libs/gtkmm2ext/gtk_ui.cc
+++ b/libs/gtkmm2ext/gtk_ui.cc
@@ -664,7 +664,9 @@ UI::handle_fatal (const char *message)
 
 	theMain->run ();
 
-	_exit (1);
+    //GZ: Temporary change to catch a bug
+    //_exit (1);
+	abort ();
 }
 
 void