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.

Sign up for GitHub

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

Jump to bottom

Don't ask for updating Bloop unless absolutely needed #7044

Open
tgodzik opened this issue Dec 18, 2024 · 1 comment
Open

Don't ask for updating Bloop unless absolutely needed #7044

tgodzik opened this issue Dec 18, 2024 · 1 comment
Labels
bug Something that is making a piece of functionality unusable

Comments

@tgodzik
Copy link
Contributor

tgodzik commented Dec 18, 2024

Describe the bug

Currently, we always ask to restart Bloop server, but in most cases I think we should just do it. It only confuses the user currently. Maybe, should have a special mode or ask if the user has Bloop set manually (this case currently actually doesn't work well)?

Expected behavior

No response

Operating system

Linux

Editor/Extension

None

Version of Metals

v1.4.2

Extra context or search terms

bloop restart
@tgodzik tgodzik added the bug Something that is making a piece of functionality unusable label Dec 18, 2024
@SethTisue
Copy link
Contributor

yeah, I've been hitting this lately

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something that is making a piece of functionality unusable
Projects
Metals Issue Board
Status: Triage
Milestone
No milestone
Development

No branches or pull requests
2 participants
@SethTisue @tgodzik