From 8de4613a3ea400f5a070e6bf3511f5e02af924e4 Mon Sep 17 00:00:00 2001
From: Dennis Luxen <luxen@kit.edu>
Date: Fri, 9 Aug 2013 12:55:08 +0200
Subject: [PATCH] Fix coverity errors 1061543 751298

---
 Util/SimpleLogger.h | 38 ++++++++++++++++++++------------------
 1 file changed, 20 insertions(+), 18 deletions(-)

diff --git a/Util/SimpleLogger.h b/Util/SimpleLogger.h
index 62bc945b1..68582fd22 100644
--- a/Util/SimpleLogger.h
+++ b/Util/SimpleLogger.h
@@ -60,24 +60,26 @@ private:
 class SimpleLogger {
 public:
     std::ostringstream& Write(LogLevel l = logINFO) {
-		boost::mutex::scoped_lock lock(logger_mutex);
-		level = l;
-    	os << "[";
-   	   	switch(level) {
-    		case logINFO:
-	    		os << "info";
-	    		break;
-    		case logWARNING:
-	    		os << "warn";
-	    		break;
-    		case logDEBUG:
-	    		os << "debug";
-	    		break;
-    		default:
-	    		BOOST_ASSERT_MSG(false, "should not happen");
-	    		break;
-    	}
-		os << "] ";
+    	try {
+			boost::mutex::scoped_lock lock(logger_mutex);
+			level = l;
+			os << "[";
+			   	switch(level) {
+				case logINFO:
+		    		os << "info";
+		    		break;
+				case logWARNING:
+		    		os << "warn";
+		    		break;
+				case logDEBUG:
+		    		os << "debug";
+		    		break;
+				default:
+		    		BOOST_ASSERT_MSG(false, "should not happen");
+		    		break;
+			}
+			os << "] ";
+		} catch (...) { }
 	   	return os;
    }