catch exceptions thrown in ai::holder dtor

wesnoth · Jun 8, 2014 · c65d367 · c65d367
1 parent 7b0c4e6
commit c65d367
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/ai/manager.cpp b/src/ai/manager.cpp
@@ -108,9 +108,11 @@ void holder::init( side_number side )
 
 holder::~holder()
 {
+	try {
 	if (this->ai_) {
 		LOG_AI_MANAGER << describe_ai() << "Managed AI will be deleted" << std::endl;
 	}
+	} catch (...) {}
 	delete this->default_ai_context_;
 	delete this->readwrite_context_;
 	delete this->readonly_context_;