make abortion more efficient ;-)

diff --git a/src/Main/bootstrap.cxx b/src/Main/bootstrap.cxx
index 1b74e40c7b2d8da1a4f060df758b554effa168da..1984ef27c5186f55a4410facd99522284da74ace 100644 (file)
--- 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 (...) {