Don't panic on save if language_server isn't initialized

pull/724/head
Blaž Hrastnik 3 years ago
parent ade1a453ef
commit 64099af3f1

@ -471,10 +471,15 @@ impl Document {
let mut file = File::create(path).await?; let mut file = File::create(path).await?;
to_writer(&mut file, encoding, &text).await?; to_writer(&mut file, encoding, &text).await?;
if let Some(notification) = language_server.and_then(|language_server| { if let Some(language_server) = language_server {
language_server.text_document_did_save(identifier, &text) if language_server.is_initialized() {
}) { return Ok(());
notification.await?; }
if let Some(notification) =
language_server.text_document_did_save(identifier, &text)
{
notification.await?;
}
} }
Ok(()) Ok(())

Loading…
Cancel
Save