diff --git a/src/Main/MainCmd.cpp b/src/Main/MainCmd.cpp
index e6c24e6265..5bfdda6c22 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 e2139e6bdd..ddfaf13ab7 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);