Skip to content

Conversation

@damassi
Copy link
Owner

@damassi damassi commented Nov 22, 2025

This disambiguates server selection from actual server connections (ie, a selected server could still fail connection) and as such we should report back correctly to the user.

@damassi damassi self-assigned this Nov 22, 2025
@damassi damassi force-pushed the damassi/fix/active-servers branch from 7269f2f to 5e77ba7 Compare November 22, 2025 20:33
@damassi damassi force-pushed the damassi/fix/active-servers branch from 5e77ba7 to c3ae777 Compare November 22, 2025 20:35
@damassi damassi merged commit a8afc5b into main Nov 22, 2025
3 checks passed
@damassi damassi deleted the damassi/fix/active-servers branch November 22, 2025 20:45
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.

2 participants