catch string exceptions

diff --git a/src/Main/bootstrap.cxx b/src/Main/bootstrap.cxx
index 16d165533df5da27b9c03276c60c7a14be9bed13..1b74e40c7b2d8da1a4f060df758b554effa168da 100644 (file)
--- a/src/Main/bootstrap.cxx
+++ b/src/Main/bootstrap.cxx
@@ -204,6 +204,9 @@ int main ( int argc, char **argv ) {
         if (!t.getOrigin().empty())
             cerr << " (received from " << t.getOrigin() << ')' << endl;
 
+    } catch (string &s) {
+        cerr << "Fatal error: " << s << endl;
+
     } catch (...) {
         cerr << "Unknown exception in the main loop. Aborting..." << endl;
         if (errno)