It's useful in situations when one is trying to get the language server running but is hitting some problems. Currently, there's no easy way to instruct the extensions to attempt to start the language server again.
Also, when the language server is run remotely, and the server where it's running goes down for a minute or two, one has to restart VS Code to get the language server back.
Other language servers do it too:
It's useful in situations when one is trying to get the language server running but is hitting some problems. Currently, there's no easy way to instruct the extensions to attempt to start the language server again.
Also, when the language server is run remotely, and the server where it's running goes down for a minute or two, one has to restart VS Code to get the language server back.