Skip to content

server: don't treat unestablished GR peers as having sent EOR#3432

Merged
fujita merged 1 commit into
osrg:masterfrom
fujita:fix-multiple-gr-peers
May 27, 2026
Merged

server: don't treat unestablished GR peers as having sent EOR#3432
fujita merged 1 commit into
osrg:masterfrom
fujita:fix-multiple-gr-peers

Conversation

@fujita
Copy link
Copy Markdown
Member

@fujita fujita commented May 27, 2026

recvedAllEOR() returned true for peers that had not yet reached ESTABLISHED state, causing LocalRestarting to be cleared too early when a restarting speaker has multiple GR-enabled peers.

Also rename recvedAllEOR to receivedAllEOR.

recvedAllEOR() returned true for peers that had not yet reached
ESTABLISHED state, causing LocalRestarting to be cleared too early
when a restarting speaker has multiple GR-enabled peers.

Also rename recvedAllEOR to receivedAllEOR.

Signed-off-by: FUJITA Tomonori <fujita.tomonori@gmail.com>
@fujita fujita force-pushed the fix-multiple-gr-peers branch from 7f075b2 to 748e233 Compare May 27, 2026 04:29
@fujita fujita merged commit 748e233 into osrg:master May 27, 2026
40 checks passed
@fujita fujita deleted the fix-multiple-gr-peers branch May 27, 2026 04:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant