Update core/threaded/reactor_threaded.c

Co-authored-by: Edward A. Lee <eal@eecs.berkeley.edu>
lf-lang · Oct 28, 2024 · 6c2ffb6 · 6c2ffb6
1 parent 3acce7a
commit 6c2ffb6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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();