Skip to content

Commit

Permalink
Fix missing identifier case
Browse files Browse the repository at this point in the history
  • Loading branch information
jwortmann committed Dec 16, 2024
1 parent ca6c014 commit ef3f698
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion plugin/session_buffer.py
Original file line number Diff line number Diff line change
Expand Up @@ -518,9 +518,11 @@ def do_document_diagnostic_async(
self.session.cancel_request(pending_request.request_id)
self._document_diagnostic_pending_requests[identifier] = None
_params: DocumentDiagnosticParams = {'textDocument': text_document_identifier(view)}
# Not all diagnostic streams (identifiers) which are stored in the Session's DiagnosticStorage must necessarily
# be applicable to this SessionBuffer in case only a subset of them was registered for this DocumentUri.
identifiers = set()
for provider in self.get_providers('diagnosticProvider'):
identifiers.add(provider.get('identifier', ''))
identifiers.add(provider.get('identifier'))
for identifier in identifiers:
params = _params.copy()
if identifier:
Expand Down

0 comments on commit ef3f698

Please sign in to comment.