Skip to content
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

prune users from _cliconns when they're on the far side of a split #29

Open
jesopo opened this issue Jan 25, 2022 · 0 comments
Open

prune users from _cliconns when they're on the far side of a split #29

jesopo opened this issue Jan 25, 2022 · 0 comments
Labels
good first issue Good for newcomers

Comments

@jesopo
Copy link
Member

jesopo commented Jan 25, 2022

this involves receiving a netsplit snote and figuring out what servers are on the far side of the split, then remove any user from _cliconns when they're on an affected server.

the easiest way to do this is to change _cliconns to hold a tuple of (cliconn_id, server_name) (instead of just cliconn_id), then run a /links when there's a netsplit and pop any _cliconn entry from a server we can no longer see

@jesopo jesopo added the good first issue Good for newcomers label Feb 11, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
good first issue Good for newcomers
Projects
None yet
Development

No branches or pull requests

1 participant