diff --git a/src/Main/MainGui.cpp b/src/Main/MainGui.cpp index 1d75c2d167..e0a92e4e68 100644 --- a/src/Main/MainGui.cpp +++ b/src/Main/MainGui.cpp @@ -38,6 +38,7 @@ #include #include #include +#include #include #include @@ -309,6 +310,10 @@ int main( int argc, char ** argv ) e.ReportException(); exit(1); } + catch (const std::exception& e) { + Base::Console().Error("Application unexpectedly terminated: %s\n", e.what()); + exit(1); + } catch (...) { Base::Console().Error("Application unexpectedly terminated\n"); exit(1);