Skip to content

Commit

Permalink
Merge branch 'main' into dataflow
Browse files Browse the repository at this point in the history
  • Loading branch information
edwardalee authored Sep 24, 2024
2 parents 6adacfb + 7383059 commit f8585ce
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 f8585ce

Please sign in to comment.