namespace boost {
+#ifndef BOOST_NO_EXCEPTIONS
void throw_exception(std::exception const & e)
{
lyxerr << "Exception caught:\n"
<< e.what() << endl;
BOOST_ASSERT(false);
}
-
+#endif
namespace {
void emergencyCleanup()
{
- static bool didCleanup;
- if (didCleanup)
- return;
+ static bool didCleanup;
+ if (didCleanup)
+ return;
- didCleanup = true;
+ didCleanup = true;
- LyX::emergencyCleanup();
+ LyX::cref().emergencyCleanup();
}
}