catch exceptions thrown in tooltips manager dtor

wesnoth · Jun 8, 2014 · 0ce40e7 · 0ce40e7
1 parent 84b2cb2
commit 0ce40e7
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/tooltips.cpp b/src/tooltips.cpp
@@ -113,7 +113,9 @@ manager::manager(CVideo& video)
 
 manager::~manager()
 {
+	try {
 	clear_tooltips();
+	} catch (...) {}
 	video_ = NULL;
 }