prisma-risk / tsoracle / 26301598829

95%

Build Type

push

github

Committed by web-flow

Commit Message

fix(server): poison serving state on leader-watch stream EOF (#124)

A clean EOF on `consensus.leadership_events()` let `run_leader_watch` fall
through to `Ok(())`, skipping the conditional poisoning in `into_router`.
Embedders mounting `into_router` on their own tonic listener kept observing
`ServingState::Serving` while the watch task was dead, so the allocator
could grant timestamps at a stale epoch and violate global ordering against
a freshly-elected leader.

Surface EOF as `ServerError::WatchStreamClosed` so the existing Err branch
poisons via `step_down_due_to_consensus_rejection(None)`, making the
embedded-router contract symmetric with the error and panic paths from

Closes #72.

Coverage Stats

1 of 1 new or added line in 1 file covered. (100.0%)

1 existing line in 1 file now uncovered.

7087 of 7382 relevant lines covered (96.0%)

675826.7 hits per line