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

In the new pull model how does the server know when to send workspace/configuration? #676

Closed
kjeremy opened this issue Feb 8, 2019 · 1 comment
Closed

In the new pull model how does the server know when to send workspace/configuration? #676

kjeremy opened this issue Feb 8, 2019 · 1 comment

Comments

@kjeremy
Copy link
Contributor

kjeremy commented Feb 8, 2019

Reading some issues here it seems as if use of workspace/didChangeConfiguration is being discouraged in favor of workspace/configuration. If so how does the server know when to send workspace/configuration?
@dbaeumer
Copy link
Member

In the pull model the client will still send workspace/didChangeConfiguration however without any data payload. The client has then to pull configurations. So workspace/didChangeConfiguration is more a notification then a push.

I will close the issue. Please ping back if still unclear.

@vscodebot vscodebot bot locked and limited conversation to collaborators Jun 9, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@dbaeumer @kjeremy