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

Restart the language server when CLI binary file changes #561

Open
jribbink opened this issue Mar 21, 2024 · 0 comments
Open

Restart the language server when CLI binary file changes #561

jribbink opened this issue Mar 21, 2024 · 0 comments

Comments

@jribbink
Copy link
Contributor

We should watch the filesystem for the current CLI binary & restart the language server when this changes to keep up to date with what the user is seeing on the system.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: No status
Development

No branches or pull requests

1 participant