File tree Expand file tree Collapse file tree 2 files changed +6
-2
lines changed
Expand file tree Collapse file tree 2 files changed +6
-2
lines changed Original file line number Diff line number Diff line change @@ -62,7 +62,8 @@ def __init__(
6262 self .binary_location = binary_location
6363 self .server_identifier = server_identifier
6464
65- async def update_errors (self ) -> None :
65+ async def update_errors (self , document_path ) -> None :
66+ await _publish_diagnostics (self .output_channel , document_path , [])
6667 pyre_connection = api_connection .PyreConnection (
6768 Path (self .pyre_arguments .global_root )
6869 )
@@ -120,6 +121,8 @@ async def process_open_request(
120121 f"Document URI is not a file: { parameters .text_document .uri } "
121122 )
122123
124+ await self .update_errors (document_path )
125+
123126 async def process_close_request (
124127 self , parameters : lsp .DidCloseTextDocumentParameters
125128 ) -> None :
@@ -142,6 +145,7 @@ async def process_did_save_request(
142145 raise json_rpc .InvalidRequestError (
143146 f"Document URI is not a file: { parameters .text_document .uri } "
144147 )
148+ await self .update_errors (document_path )
145149
146150 async def run (self ) -> int :
147151 while True :
Original file line number Diff line number Diff line change @@ -513,7 +513,7 @@ def get_server_identifier(configuration: configuration_module.Configuration) ->
513513
514514
515515def _write_argument_file (output_file : IO [str ], arguments : Arguments ) -> None :
516- # LOG.info(f"Writing server startup configurations into {output_file.name}...")
516+ LOG .info (f"Writing server startup configurations into { output_file .name } ..." )
517517 serialized_arguments = arguments .serialize ()
518518 LOG .debug (f"Arguments:\n { json .dumps (serialized_arguments , indent = 2 )} " )
519519 output_file .write (json .dumps (serialized_arguments ))
You can’t perform that action at this time.
0 commit comments