Skip to content

feat: set peers lost when disconnected from coordinator #11681

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jan 22, 2024

Conversation

spikecurtis
Copy link
Contributor

@spikecurtis spikecurtis commented Jan 18, 2024

Adds support to Coordination to call SetAllPeersLost() when it is closed. This ensure that when we disconnect from a Coordinator, we set all peers lost.

This covers CoderSDK (CLI client) and Agent. Next PR will cover MultiAgent (notably, wsproxy).

Copy link
Contributor Author

spikecurtis commented Jan 18, 2024

This stack of pull requests is managed by Graphite. Learn more about stacking.

Join @spikecurtis and the rest of your teammates on Graphite Graphite

@spikecurtis spikecurtis force-pushed the spike/10533-setAllPeersLost branch from 2daadfc to 277215a Compare January 22, 2024 06:58
@spikecurtis spikecurtis force-pushed the spike/10533-set-lost-disconnect branch from 2d92458 to 9c1f310 Compare January 22, 2024 06:58
@spikecurtis spikecurtis force-pushed the spike/10533-setAllPeersLost branch from 277215a to d476a87 Compare January 22, 2024 08:05
@spikecurtis spikecurtis force-pushed the spike/10533-set-lost-disconnect branch from 9c1f310 to 53b97df Compare January 22, 2024 08:05
Base automatically changed from spike/10533-setAllPeersLost to main January 22, 2024 08:12
@spikecurtis spikecurtis force-pushed the spike/10533-set-lost-disconnect branch from 53b97df to 9cf8f03 Compare January 22, 2024 11:18
@spikecurtis spikecurtis merged commit 3d85cdf into main Jan 22, 2024
@spikecurtis spikecurtis deleted the spike/10533-set-lost-disconnect branch January 22, 2024 11:26
Copy link
Contributor Author

Merge activity

@github-actions github-actions bot locked and limited conversation to collaborators Jan 22, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants