Open aaronallen8455 opened 2 years ago
To make an LSP server, having the plugin communicate with the server via stdio wouldn't work. Leave it as being websockets to facilitate adaptation to LSP?
It would be nice to have the server started up by the plugin. Can this be done with the websockets approach?
Could try connecting first and if that succeeds then it is known that an instance of the server is already running.
However, when compiling outside the REPL, the server would be stopped and started multiple times, possibly in a concurrent context which could get messy.
Have the plugin spin up the server on initialization and communicate with it via stdio.