From 12f47ca73f7fb63f0603d5d212eb6c34da7e4f30 Mon Sep 17 00:00:00 2001
From: Henri Casanova <henric@hawaii.edu>
Date: Thu, 17 Oct 2024 09:04:56 -1000
Subject: [PATCH] debugging

---
 src/wrench/simgrid_S4U_util/S4U_CommPort.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/wrench/simgrid_S4U_util/S4U_CommPort.cpp b/src/wrench/simgrid_S4U_util/S4U_CommPort.cpp
index bfec331da2..34a53329da 100644
--- a/src/wrench/simgrid_S4U_util/S4U_CommPort.cpp
+++ b/src/wrench/simgrid_S4U_util/S4U_CommPort.cpp
@@ -291,11 +291,13 @@ namespace wrench {
         MessageManager::manageMessage(this, msg);
 #endif
         if (msg->payload != 0) {
+            if (not this->s4u_mb) return;
             std::cerr << "WTF1: " << this->s4u_mb  << "\n";
             std::cerr << "WTF2: " << msg  << "\n";
             std::cerr << "WTF3: " << msg->payload  << "\n";
             this->s4u_mb->put_init(msg, (uint64_t) msg->payload)->detach();
         } else {
+            if (not this->s4u_mq) return;
             this->s4u_mq->put_init(msg)->detach();
         }
     }