catch exceptions thrown in whiteboard highlighter dtor

This commit is contained in:
Chris Beck 2014-06-07 23:37:22 -04:00
parent c65d367c44
commit 675eb58975

View File

@ -59,9 +59,11 @@ highlighter::highlighter(unit_map& unit_map, side_actions_ptr side_actions)
highlighter::~highlighter() highlighter::~highlighter()
{ {
try {
if(resources::screen && owner_unit_) { if(resources::screen && owner_unit_) {
unhighlight(); unhighlight();
} }
} catch (...) {}
} }
void highlighter::set_mouseover_hex(const map_location& hex) void highlighter::set_mouseover_hex(const map_location& hex)