debugging

wrench-project · Dec 20, 2023 · 74f2a1e · 74f2a1e
1 parent ac00221
commit 74f2a1e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/wrench/simgrid_S4U_util/S4U_CommPort.cpp b/src/wrench/simgrid_S4U_util/S4U_CommPort.cpp
@@ -407,6 +407,7 @@ namespace wrench {
         if (S4U_CommPort::used_commports.find(commport) == S4U_CommPort::used_commports.end()) {
             return;
         }
+        WRENCH_INFO("Retiring commport %s", commport->name.c_str());
         if (commport->mb_comm_posted) {
             commport->mb_comm->cancel();
             commport->mb_comm = nullptr;