Handle partial failure when sending textDocument/didSave (#10168)

pull/10175/head
Michael Davis 3 months ago committed by GitHub
parent d3bfa3e063
commit 3f2de21342
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -961,13 +961,14 @@ impl Document {
for (_, language_server) in language_servers { for (_, language_server) in language_servers {
if !language_server.is_initialized() { if !language_server.is_initialized() {
return Ok(event); continue;
} }
if let Some(identifier) = &identifier { if let Some(notification) = identifier
if let Some(notification) = .clone()
language_server.text_document_did_save(identifier.clone(), &text) .and_then(|id| language_server.text_document_did_save(id, &text))
{ {
notification.await?; if let Err(err) = notification.await {
log::error!("Failed to send textDocument/didSave: {err}");
} }
} }
} }

Loading…
Cancel
Save