From 44cdd03b4e7806b834c9bdf480e96f72511e4750 Mon Sep 17 00:00:00 2001 From: Fred Suter Date: Thu, 26 Oct 2023 11:14:09 -0400 Subject: [PATCH] handle Mess in Activity::wait_for --- src/s4u/s4u_Activity.cpp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/s4u/s4u_Activity.cpp b/src/s4u/s4u_Activity.cpp index 445364f6cb..091b2a12cb 100644 --- a/src/s4u/s4u_Activity.cpp +++ b/src/s4u/s4u_Activity.cpp @@ -9,6 +9,7 @@ #include #include #include +#include #include #include "src/kernel/activity/ActivityImpl.hpp" @@ -52,6 +53,8 @@ Activity* Activity::wait_for(double timeout) if (state_ == State::FAILED) { if (dynamic_cast(this)) throw NetworkFailureException(XBT_THROW_POINT, "Cannot wait for a failed comm"); + if (dynamic_cast(this)) + throw NetworkFailureException(XBT_THROW_POINT, "Cannot wait for a failed mess"); if (dynamic_cast(this)) throw HostFailureException(XBT_THROW_POINT, "Cannot wait for a failed exec"); if (dynamic_cast(this)) -- 2.20.1