From afd4b45fac55d11bdab191f1456bea764dbc685c Mon Sep 17 00:00:00 2001 From: Fred Suter Date: Thu, 26 Oct 2023 11:12:23 -0400 Subject: [PATCH] handle Mess in display actor status --- src/kernel/EngineImpl.cpp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/kernel/EngineImpl.cpp b/src/kernel/EngineImpl.cpp index 59da112542..8b7b60a0cd 100644 --- a/src/kernel/EngineImpl.cpp +++ b/src/kernel/EngineImpl.cpp @@ -456,6 +456,9 @@ void EngineImpl::display_all_actor_status() const if (boost::dynamic_pointer_cast(actor->waiting_synchro_) != nullptr) synchro_description = "communication"; + if (boost::dynamic_pointer_cast(actor->waiting_synchro_) != nullptr) + synchro_description = "message"; + if (boost::dynamic_pointer_cast(actor->waiting_synchro_) != nullptr) synchro_description = "sleeping"; -- 2.20.1