Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[languageserver] Push notification to client on new language server #1427

Closed
svenefftinge opened this issue Jun 3, 2016 · 1 comment
Closed

[languageserver] Push notification to client on new language server #1427

svenefftinge opened this issue Jun 3, 2016 · 1 comment
Labels
kind/enhancement A feature request - must adhere to the feature request template.

Comments

@svenefftinge
Copy link
Contributor

Currently the list of registered servers is polled once during startup.

We should send a notification through WS when ever there is a language server un/registered and should update the client accordingly.
@svenefftinge svenefftinge changed the title [languageserver] Push notification to client on new languageserver [languageserver] Push notification to client on new language server Jun 3, 2016
@svenefftinge svenefftinge mentioned this issue Jul 27, 2016
Closed
26 tasks
@vparfonov vparfonov added kind/enhancement A feature request - must adhere to the feature request template. team/ide labels Jul 27, 2016
@gazarenkov gazarenkov mentioned this issue Aug 12, 2016
Closed
8 tasks
@TylerJewell
Copy link

Covered by the LSP epic.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
kind/enhancement A feature request - must adhere to the feature request template.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@svenefftinge @TylerJewell @vparfonov