dls
dls copied to clipboard
DCD crash
Every now and then, the underlying dcd crashes. I have to restart vscode to bring it up again. It would be useful to add a polling to check if dcd is still running and restarting it if it is crashed.
The problem is that I don't use DCD as a program but as a library. The pro side is that I get easier integration, and I can do more things than I could using DCD as a program. The con side is that unfortunatly, if DCD crashes, DLS will simply crash because of it. I know there are crashes due to DCD (I suffer from them myself when coding DLS...), especially regarding imports and selective imports, but there is no other way to fix things than to fix the bugs in DCD directly.
Is there a way to add a command/shortcut to vscode to restart whole DLS, then?
VSCode manages language servers. It automatically restarts it, but in cases like autocomplete causing crashes, VSCode also automatically sends the same request after startup and the server instantly crashes again. And after 5 crashes in less than 3 minutes, VSCode deems the server as doomed and doesn't restart it.