catch exceptions thrown from whitebaord future_map_if_active dtor

This commit is contained in:
Chris Beck 2014-06-08 00:05:43 -04:00
parent 3c90eeb125
commit 2cf2025ae4

View File

@ -1212,10 +1212,12 @@ future_map_if_active::future_map_if_active():
future_map_if_active::~future_map_if_active()
{
try {
if (!resources::whiteboard)
return;
if (!initial_planned_unit_map_ && resources::whiteboard->has_planned_unit_map())
resources::whiteboard->set_real_unit_map();
} catch (...) {}
}