From 2cf2025ae476b08ebe793c6e0b3bbd6a25a3f334 Mon Sep 17 00:00:00 2001
From: Chris Beck <render787@gmail.com>
Date: Sun, 8 Jun 2014 00:05:43 -0400
Subject: [PATCH] catch exceptions thrown from whitebaord future_map_if_active
 dtor

---
 src/whiteboard/manager.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/whiteboard/manager.cpp b/src/whiteboard/manager.cpp
index 1a9dcdc90cbc..7af0b3ffc394 100644
--- a/src/whiteboard/manager.cpp
+++ b/src/whiteboard/manager.cpp
@@ -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 (...) {}
 }