1
0
Fork 0

make abortion more efficient ;-)

This commit is contained in:
mfranz 2006-02-23 12:55:57 +00:00
parent d33b6da077
commit 1ece476355

View file

@ -196,7 +196,7 @@ int main ( int argc, char **argv ) {
try { try {
atexit(fgExitCleanup); atexit(fgExitCleanup);
fgMainInit(argc, argv); fgMainInit(argc, argv);
} catch (sg_throwable &t) { } catch (const sg_throwable &t) {
// We must use cerr rather than // We must use cerr rather than
// logging, since logging may be // logging, since logging may be
// disabled. // disabled.
@ -204,7 +204,7 @@ int main ( int argc, char **argv ) {
if (!t.getOrigin().empty()) if (!t.getOrigin().empty())
cerr << " (received from " << t.getOrigin() << ')' << endl; cerr << " (received from " << t.getOrigin() << ')' << endl;
} catch (string &s) { } catch (const string &s) {
cerr << "Fatal error: " << s << endl; cerr << "Fatal error: " << s << endl;
} catch (...) { } catch (...) {