Fix to call init_shutdown_mutex() not directly calling the mutex.

lf-lang · Mar 5, 2025 · 266587e · 266587e
1 parent 952e65f
commit 266587e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/core/src/main/java/org/lflang/federated/extensions/CExtension.java b/core/src/main/java/org/lflang/federated/extensions/CExtension.java
@@ -688,7 +688,7 @@ private String generateCodeToInitializeFederate(
             "// Initialize the socket mutexes",
             "lf_mutex_init(&lf_outbound_socket_mutex);",
             "lf_mutex_init(&lf_inbound_socket_mutex);",
-            "lf_mutex_init(&shutdown_mutex);",
+            "init_shutdown_mutex();",
             "lf_cond_init(&lf_port_status_changed, &env->mutex);"));
 
     // Find the STA (A.K.A. the global STP offset) for this federate.

diff --git a/core/src/main/resources/lib/c/reactor-c b/core/src/main/resources/lib/c/reactor-c
+1 −1		core/federated/RTI/rti_remote.c
+2 −0		core/federated/network/socket_common.c
+5 −5		include/core/federated/network/socket_common.h