diff --git a/src/Main/MainCmd.cpp b/src/Main/MainCmd.cpp index e6c24e626..5bfdda6c2 100644 --- a/src/Main/MainCmd.cpp +++ b/src/Main/MainCmd.cpp @@ -130,9 +130,11 @@ int main( int argc, char ** argv ) } catch (const Base::Exception& e) { e.ReportException(); + exit(1); } catch (...) { Console().Error("Application unexpectedly terminated\n"); + exit(1); } // Destruction phase =========================================================== diff --git a/src/Main/MainGui.cpp b/src/Main/MainGui.cpp index e2139e6bd..ddfaf13ab 100644 --- a/src/Main/MainGui.cpp +++ b/src/Main/MainGui.cpp @@ -241,9 +241,11 @@ int main( int argc, char ** argv ) } catch (const Base::Exception& e) { e.ReportException(); + exit(1); } catch (...) { Base::Console().Error("Application unexpectedly terminated\n"); + exit(1); } std::cout.rdbuf(oldcout);