Bugfix: Incorrectly setting interrupt failure during exit.

While processing the exit rules, the fll_extended_read is failing due to an interrupt that is not being sent.
This is the result of an incorrect value being assigned to the controller_state_interrupt_t.

diff --git a/level_3/controller/c/private-entry.c b/level_3/controller/c/private-entry.c
index c64ef657329eac390cd0f99b3dc98a059adb2b74..9a0aed5a7486464ad68ac547b6e02ac8a7eed5fb 100644 (file)
--- a/level_3/controller/c/private-entry.c
+++ b/level_3/controller/c/private-entry.c
@@ -211,7 +211,7 @@ extern "C" {
     } // while
 
     {
-      controller_state_interrupt_t custom = macro_controller_state_interrupt_t_initialize(F_true, global.thread);
+      controller_state_interrupt_t custom = macro_controller_state_interrupt_t_initialize(is_entry, global.thread);
       f_state_t state = macro_f_state_t_initialize(controller_common_allocation_large, controller_common_allocation_small, 0, &controller_thread_signal_state_fss, 0, (void *) &custom, 0);
       f_string_range_t range = content_range;