catch exceptions thrown in server man_manager dtor

wesnoth · Jun 8, 2014 · 9dd32c4 · 9dd32c4
1 parent bdd3edd
commit 9dd32c4
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/server/ban.cpp b/src/server/ban.cpp
@@ -704,7 +704,9 @@ static lg::log_domain log_server("server");
 
 	ban_manager::~ban_manager()
 	{
+		try {
 		write();
+		} catch (...) {}
 	}
 
 	ban_manager::ban_manager()