Skip to content

Conversation

zth
Copy link
Member

@zth zth commented Jan 6, 2024

Instead report the error as a message, but only every 15 minutes.

We want people to report when things crash, but having the entire extension crash because of some potentially minor thing (code actions failing to resolve for example) is a bad experience. This makes sure that the extension does not crash when the analysis fails, but rather reports a message with the error (and not too often).

This is a good balance imo between getting people to report and preserving the UX of the extension.

@zth zth requested a review from cristianoc January 6, 2024 11:16
Copy link
Collaborator

@cristianoc cristianoc left a comment

Choose a reason for hiding this comment

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

Is there any additional info shown when it actually crashes?
Or is this equivalent in terms of info reported.

@zth
Copy link
Member Author

zth commented Jan 7, 2024

Yeah this now shows some information around what crashed. Still quite bare bones, but more than before.

@zth zth merged commit 9868197 into master Jan 7, 2024
@zth zth deleted the error-recovery branch January 7, 2024 13:15
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