Timeout pending

lf-lang · Jan 24, 2024 · ef261c8 · ef261c8
1 parent 676ce07
commit ef261c8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/examples/C/src/leader-election/NRP_FD.lf b/examples/C/src/leader-election/NRP_FD.lf
@@ -346,6 +346,7 @@ reactor Node(
     =}
 
     reaction(ping_timed_out) -> out, new_NRP_request_timed_out, reset(Failed) {=
+      self->ping_timeout_pending = false;
       if (self->ping_pending) {
         // Ping timed out.
         lf_print(PRINTF_TIME ": Backup node %d gets no response from ping.", lf_time_logical_elapsed(), self->id);