Restore code after unwanted change in last commit

diff --git a/src/Main/bootstrap.cxx b/src/Main/bootstrap.cxx
index 88d6dfb8e05c5e7055f6e12cc57cbb21e96fa90f..a2d0e6ce5339aeeb39b74701f1d1cf30286dd59c 100644 (file)
--- a/src/Main/bootstrap.cxx
+++ b/src/Main/bootstrap.cxx
@@ -233,11 +233,11 @@ int main ( int argc, char **argv ) {
     } catch (const char *s) {
         cerr << "Fatal error: " << s << endl;
 
-/*    } catch (...) {
+    } catch (...) {
         cerr << "Unknown exception in the main loop. Aborting..." << endl;
         if (errno)
             perror("Possible cause");
-*/    }
+    }
 
     return 0;
 }