From ef3f6980f289e111b2b7fdbf1b8b80c723f593f0 Mon Sep 17 00:00:00 2001 From: Janos Wortmann Date: Mon, 16 Dec 2024 12:53:57 +0100 Subject: [PATCH] Fix missing identifier case --- plugin/session_buffer.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/plugin/session_buffer.py b/plugin/session_buffer.py index d982642c1..21a09af51 100644 --- a/plugin/session_buffer.py +++ b/plugin/session_buffer.py @@ -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: