From 6c2ffb6c2627585bfa5c823772178fe21dd8d372 Mon Sep 17 00:00:00 2001
From: erling <erling.jellum@gmail.com>
Date: Sun, 27 Oct 2024 18:49:53 -0700
Subject: [PATCH] Update core/threaded/reactor_threaded.c

Co-authored-by: Edward A. Lee <eal@eecs.berkeley.edu>
---
 core/threaded/reactor_threaded.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/core/threaded/reactor_threaded.c b/core/threaded/reactor_threaded.c
index 424dd4ec2..bb8ac3d57 100644
--- a/core/threaded/reactor_threaded.c
+++ b/core/threaded/reactor_threaded.c
@@ -1173,6 +1173,7 @@ int lf_critical_section_exit(environment_t* env) {
   if (env == GLOBAL_ENVIRONMENT) {
     int ret_code = lf_mutex_unlock(&global_mutex);
     if (ret_code != 0) {
+      lf_enable_interrupts_nested();
       return ret_code;
     }
     return lf_enable_interrupts_nested();