debug?

wrench-project · Dec 9, 2023 · b587422 · b587422
1 parent 04040c1
commit b587422
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/wrench/simgrid_S4U_util/S4U_CommPort.cpp b/src/wrench/simgrid_S4U_util/S4U_CommPort.cpp
@@ -129,7 +129,7 @@ namespace wrench {
             finished_recv = pending_receives.wait_any_for(timeout);
             WRENCH_INFO("CALLED WAIT_ANY_FOR");
         } catch (simgrid::TimeoutException &e) {
-            WRENCH_INFO("IN THIS TRY CATCH");
+            WRENCH_INFO("IN THIS TRY CATCH: TIMEOUT (timeoutvalue=%lf)", timeout);
             auto failed_recv = pending_receives.get_failed_activity();
             if (failed_recv == mb_comm) {
                 mq_comm->cancel();
@@ -140,7 +140,7 @@ namespace wrench {
             }
             throw ExecutionException(std::make_shared<NetworkError>(NetworkError::RECEIVING, NetworkError::TIMEOUT, this->name, ""));
         } catch (simgrid::Exception &e) {
-            WRENCH_INFO("IN THAT TRY CATCH");
+            WRENCH_INFO("IN THAT TRY CATCH: FAILURE");
             auto failed_recv = pending_receives.get_failed_activity();
             if (failed_recv == mb_comm) {
                   mq_comm->cancel();