catch exceptions thrown from server/game dtor

wesnoth · Jun 8, 2014 · db09f88 · db09f88
1 parent 29cce9c
commit db09f88
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/server/game.cpp b/src/server/game.cpp
@@ -83,13 +83,15 @@ game::game(player_map& players, const network::connection host,
 
 game::~game()
 {
+	try {
 	save_replay();
 
 	user_vector users = all_game_users();
 	for (user_vector::const_iterator u = users.begin(); u != users.end(); ++u) {
 		remove_player(*u, false, true);
 	}
 	clear_history();
+	} catch (...) {}
 }
 
 bool game::allow_observers() const {