Skip to content

Commit

Permalink
Offset start
Browse files Browse the repository at this point in the history
  • Loading branch information
edwardalee committed Aug 27, 2024
1 parent 8e8a783 commit 7383059
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion examples/C/src/leader-election/NRP_FD.lf
Original file line number Diff line number Diff line change
Expand Up @@ -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);
Expand Down

0 comments on commit 7383059

Please sign in to comment.