Handle dhall-lsp-server crash

dhall-lang / vscode-dhall-lsp-server

VSCode pluging that provides LSP support for the Dhall programming language

MIT License

17 stars 8 forks source link

Handle dhall-lsp-server crash #2

Closed PanAeon closed 5 years ago

PanAeon commented 5 years ago

Server should be restarted on crash. Extra points if extension can remember number of times the server has crashed, stops restarting it after some threshold and displays a meaningful user message.

EggBaconAndSpam commented 5 years ago

This is already handled by VSCode's lsp implementation. This is implicitely mentioned in vscode-languageserver-node:

3.5.0 Server and Client

allow the client to start the server in detached mode. If the server is running detached the client will not monitor the server process and kill it on shutdown.
bug fixing.