From d33b6da077d1e4d2db3ae56236680ec3e86ae9d0 Mon Sep 17 00:00:00 2001
From: mfranz <mfranz>
Date: Thu, 23 Feb 2006 08:32:27 +0000
Subject: [PATCH] catch string exceptions

---
 src/Main/bootstrap.cxx | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/Main/bootstrap.cxx b/src/Main/bootstrap.cxx
index 16d165533..1b74e40c7 100644
--- 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)