Skip to content

Conversation

ycholette
Copy link
Contributor

We are showing warnings/errors in our UI and this would pop up every time a client disconnects (usually by the user). This error should not result in a critical message in the log IMO. What do you think?

Not 100% about the wording of the message to show in this case though.

@github-actions github-actions bot added this to the v0.19.10 milestone Oct 26, 2023
Copy link
Member

@JoeRobich JoeRobich left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks @ycholette! I think this change makes sense.

@JoeRobich JoeRobich merged commit a381bd3 into OmniSharp:master Oct 26, 2023
@github-actions github-actions bot added the mysterious We forgot to label this label Oct 26, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

mysterious We forgot to label this

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants