You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Allow the user to set up an lsp server that talks to the user using
the websocket protocol instead of standard IO and do enough refactoring
to make the setup with websockets possible
Whenever a new message arrives on the websocket, push the new message as
well as an empty message as the followup - additionally, do not throw an
error when the parser encounters an empty ByteString, it should be able
to handle that by itself.
Link the lspAsync to cascade a dead server to its sockets
0 commit comments