From ee7368564e12cf3dc88c4dbccae411e4934d14dd Mon Sep 17 00:00:00 2001 From: Sarthak Khattar Date: Thu, 2 Sep 2021 15:06:23 +0530 Subject: [PATCH] misc fixes --- client/commands/v2/pysa_server.py | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/client/commands/v2/pysa_server.py b/client/commands/v2/pysa_server.py index 8d505de0ded..a6817c0315c 100644 --- a/client/commands/v2/pysa_server.py +++ b/client/commands/v2/pysa_server.py @@ -106,14 +106,13 @@ async def update_errors(self) -> None: # Publishing empty diagnostics to clear errors in VSCode and reset self.file_tracker for document_path in self.file_tracker: await _publish_diagnostics(self.output_channel, document_path, []) - self.file_tracker = set() + self.file_tracker.clear() try: model_errors = query.get_invalid_taint_models(self.pyre_connection) diagnostics = self.invalid_models_to_diagnostics(model_errors) # Keep track of files we publish diagnostics for - for path in diagnostics.keys(): - self.file_tracker.add(path) + self.file_tracker.update(diagnostics.keys()) await self.show_model_errors_to_client(diagnostics) except PyreQueryError as e: