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
When multiple sessions are created through websockets (when started server in ws mode), It is currently only supporting one web socket connection session. According to websockets protocol, it should support multiple connection sessions.
When a second session is connected over websockets, it says, Initialization already done (or) feature already registered..
It's better to have support for opening multiple connections with separate instance of JEDI implementation.
The text was updated successfully, but these errors were encountered:
Hmm, I'm honestly not very familiar with using this language server through web sockets, but I'm glad that you're experimenting with it! I simply took the web sockets interface exposed by pygls and enabled it as an option in jedi-language-server.
Regarding the issue you have raised, I believe pygls's design is limited in that there is a 1:1 relationship between LSP clients and LSP servers, see here. If you'd like support for multiple clients attached to 1 server, I suggest filing an issue with pygls. I'd fully support such an exploration.
When multiple sessions are created through websockets (when started server in ws mode), It is currently only supporting one web socket connection session. According to websockets protocol, it should support multiple connection sessions.
When a second session is connected over websockets, it says, Initialization already done (or) feature already registered..
It's better to have support for opening multiple connections with separate instance of JEDI implementation.
The text was updated successfully, but these errors were encountered: