waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix(lsp): cannot blindly run publish after handle_request

This commit is contained in:
rvcas 2023-02-20 13:19:52 -05:00 committed by Lucas
parent a8829889e3
commit 52bb0e749e
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
crates/aiken-lsp/src/server.rs
View File

@ -239,6 +239,7 @@ impl Server {
fn handle_request( fn handle_request(
&mut self, &mut self,
request: lsp_server::Request, request: lsp_server::Request,
connection: &Connection,
) -> Result<lsp_server::Response, ServerError> { ) -> Result<lsp_server::Response, ServerError> {
let id = request.id.clone(); let id = request.id.clone();
@ -263,6 +264,8 @@ impl Server {
self.process_diagnostic(error)?; self.process_diagnostic(error)?;
} }
self.publish_stored_diagnostics(connection)?;
Ok(lsp_server::Response { Ok(lsp_server::Response {
id, id,
error: None, error: None,
@ -497,9 +500,7 @@ impl Server {
tracing::debug!("Get request: {:#?}", req); tracing::debug!("Get request: {:#?}", req);
let response = self.handle_request(req)?; let response = self.handle_request(req, &connection)?;
self.publish_stored_diagnostics(&connection)?;
connection.sender.send(Message::Response(response))?; connection.sender.send(Message::Response(response))?;
} }