debugging

wrench-project · Oct 17, 2024 · 12f47ca · 12f47ca
1 parent c270589
commit 12f47ca
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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();
         }
     }