From a63a8597fc53411fbb6a812c52f21d4ceede74ee Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Mon, 3 Jun 2019 13:37:07 +0200 Subject: [PATCH 1/1] Don't leave an empty catch block. --- src/xbt/exception.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/xbt/exception.cpp b/src/xbt/exception.cpp index beec1e40fd..6d9272f0bc 100644 --- a/src/xbt/exception.cpp +++ b/src/xbt/exception.cpp @@ -105,6 +105,7 @@ void log_exception(e_xbt_log_priority_t prio, const char* context, std::exceptio } catch (...) { // Don't log exceptions we got when trying to log exception + XBT_LOG(prio, "Ignoring exception caught while while trying to log an exception!"); } } -- 2.20.1