From 1ece476355db070e29a068ccd20163aebeb9a3c9 Mon Sep 17 00:00:00 2001
From: mfranz <mfranz>
Date: Thu, 23 Feb 2006 12:55:57 +0000
Subject: [PATCH] make abortion more efficient  ;-)

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

diff --git a/src/Main/bootstrap.cxx b/src/Main/bootstrap.cxx
index 1b74e40c7..1984ef27c 100644
--- a/src/Main/bootstrap.cxx
+++ b/src/Main/bootstrap.cxx
@@ -196,7 +196,7 @@ int main ( int argc, char **argv ) {
     try {
         atexit(fgExitCleanup);
         fgMainInit(argc, argv);
-    } catch (sg_throwable &t) {
+    } catch (const sg_throwable &t) {
                             // We must use cerr rather than
                             // logging, since logging may be
                             // disabled.
@@ -204,7 +204,7 @@ int main ( int argc, char **argv ) {
         if (!t.getOrigin().empty())
             cerr << " (received from " << t.getOrigin() << ')' << endl;
 
-    } catch (string &s) {
+    } catch (const string &s) {
         cerr << "Fatal error: " << s << endl;
 
     } catch (...) {
-- 
2.39.5