-
Notifications
You must be signed in to change notification settings - Fork 653
feat(editors): add Restart LSP Server command #3533
Conversation
✅ Deploy Preview for docs-rometools ready!
To edit notification comments on pull requests, go to your Netlify site settings. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Interestingly while this does have the intended effect of reloading the configuration, this does not actually restart the server process, it's only closing the existing connection to the server and opening a new one. Because we don't currently persist or share workspace instances across sessions it goes through the whole initialization and loading of the configuration again, but it be useful to stop an old version of the Rome server to stop and start a new instance from the latest version.
How would you recommend implementing such a command. Issue the stop command right before calling into |
Unfortunately sending the |
@leops That sounds significantly more complicated. Do you agree that the current solution addresses the problem where a user restarts the rome server to clear any client-specific state? And thus, merging it would improve the user experience? |
I was about to say the same thing that Leo said. This PR doesn't solve the real problem.
For example, if the user updates the rome binary inside the I planned to have a section called |
I think it's still worth it to merge this change, and we could also point the user to the |
Summary
Closes #3524
Test Plan
Screen.Recording.2022-10-28.at.12.57.42.mov