From 73830590fc605d3296a400047af468814a9e70fe Mon Sep 17 00:00:00 2001 From: "Edward A. Lee" Date: Tue, 27 Aug 2024 09:24:03 -0400 Subject: [PATCH] Offset start --- examples/C/src/leader-election/NRP_FD.lf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/C/src/leader-election/NRP_FD.lf b/examples/C/src/leader-election/NRP_FD.lf index 2d34a76b..ae33e019 100644 --- a/examples/C/src/leader-election/NRP_FD.lf +++ b/examples/C/src/leader-election/NRP_FD.lf @@ -129,7 +129,7 @@ reactor Node( } mode Primary { - timer heartbeat(0, heartbeat_period) + timer heartbeat(heartbeat_period, heartbeat_period) timer ping_NRP_timer(routine_ping_offset, heartbeat_period) reaction(reset) {= lf_print(PRINTF_TIME ": ---- Node %d becomes primary.", lf_time_logical_elapsed(), self->id);