mirror of
https://github.com/joshuadavidthomas/django-language-server.git
synced 2025-09-13 22:06:19 +00:00
fix: await publish_diagnostics in handle_did_open method
This commit is contained in:
parent
4415d6abfe
commit
cd0b63f07b
1 changed files with 2 additions and 2 deletions
|
@ -23,7 +23,7 @@ impl Store {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn handle_did_open(
|
pub async fn handle_did_open(
|
||||||
&mut self,
|
&mut self,
|
||||||
params: DidOpenTextDocumentParams,
|
params: DidOpenTextDocumentParams,
|
||||||
client: &Client,
|
client: &Client,
|
||||||
|
@ -37,7 +37,7 @@ impl Store {
|
||||||
);
|
);
|
||||||
|
|
||||||
self.add_document(document);
|
self.add_document(document);
|
||||||
self.publish_diagnostics(uri.as_str(), client); // Use the cloned URI
|
self.publish_diagnostics(uri.as_str(), client).await?; // Use the cloned URI
|
||||||
Ok(())
|
Ok(())
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue