Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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.
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
fix: disconnect extension when server is closed VSCODE-536 #734
fix: disconnect extension when server is closed VSCODE-536 #734
Changes from 30 commits
ab84537
c85e84c
1b00911
38e7614
572c583
0f8f6ce
1c5db75
518a04a
7b8392b
c57060a
d2bc204
5968cef
68c60b0
9756140
74db530
14a5c9e
9f42776
b6f90a4
f828e75
c560171
9692079
07efddf
f159919
5137611
7926dc3
8d61871
fa711be
757b69c
ebbef7d
869ba89
3c4d7fe
0bb702c
f8d29e1
e4bde5a
5e7298f
c862bce
05a8a69
bdcfe59
b91a858
c9785c8
b9dd201
093e852
c7976cf
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
This file was deleted.
Large diffs are not rendered by default.