X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2Fboost.cpp;h=7ae7433a1bea38ca2e537682e457789fba571ef3;hb=44cdffa39e9160bde46d824f1915f9ef3084b53e;hp=93db5cf2ba94f67e2f490cf90a887d17bd01a725;hpb=150cf11651ad92090a452bb9e6cb72d7eea886d5;p=lyx.git

diff --git a/src/boost.cpp b/src/boost.cpp
index 93db5cf2ba..7ae7433a1b 100644
--- a/src/boost.cpp
+++ b/src/boost.cpp
@@ -3,7 +3,7 @@
  * This file is part of LyX, the document processor.
  * Licence details can be found in the file COPYING.
  *
- * \author Lars Gullik Bjønnes
+ * \author Lars Gullik Bjønnes
  *
  * Full author contact details are available in file CREDITS.
  */
@@ -11,17 +11,17 @@
 #include <config.h>
 
 #include "LyX.h"
-#include "debug.h"
-#include "support/lyxlib.h"
 
-#include <boost/assert.hpp>
+#include "support/debug.h"
+
+#include "support/lassert.h"
 
 #include <exception>
 #include <iomanip>
+#include <iostream>
 
-using std::endl;
+using namespace std;
 using lyx::lyxerr;
-using lyx::LyX;
 
 namespace boost {
 
@@ -29,31 +29,22 @@ namespace boost {
 void throw_exception(std::exception const & e)
 {
 	lyxerr << "Exception caught:\n" << e.what() << endl;
-	BOOST_ASSERT(false);
+	LASSERT(false, /**/);
 }
 #endif
 
 
-void emergencyCleanup()
-{
-	static bool didCleanup;
-	if (didCleanup)
-		return;
-
-	didCleanup = true;
-
-	LyX::cref().emergencyCleanup();
-}
-
-
 void assertion_failed(char const * expr, char const * function,
 		      char const * file, long line)
 {
 	lyxerr << "Assertion triggered in " << function
 	       << " by failing check \"" << expr << "\""
 	       << " in file " << file << ":" << line << endl;
-	emergencyCleanup();
-	lyx::support::abort();
+
+	// FIXME: by default we exit here but we could also inform the user
+	// about the assertion and do the emergency cleanup without exiting.
+	// FIXME: do we have a list of exit codes defined somewhere?
+	lyx::lyx_exit(1);
 }
 
 } // namespace boost