Catch std::exception too, so we get more information than "unknown error"

This commit is contained in:
Alexander van Gessel 2009-10-20 19:52:36 +01:00
parent c602e28edf
commit ae126bb539

View file

@ -944,6 +944,8 @@ bool game_controller::play_multiplayer_mode()
} catch(twml_exception& e) { } catch(twml_exception& e) {
e.show(disp()); e.show(disp());
return false; return false;
} catch(std::exception& e) {
std::cerr << "caught exception: " << e.what() << "\n";
} catch(...) { } catch(...) {
std::cerr << "caught unknown error playing level...\n"; std::cerr << "caught unknown error playing level...\n";
} }