Use flush_writes in application.close()

pull/1/head
Blaž Hrastnik 2 years ago committed by Skyler Hawthorne
parent 2a43ee0164
commit 52ba550098

@ -977,18 +977,7 @@ impl Application {
errs.push(err);
};
for doc in self.editor.documents_mut() {
if let Some(Err(err)) = doc.close().await {
if let Some(path) = doc.path() {
log::error!(
"Error saving document '{}': {}",
path.to_string_lossy(),
err
);
}
errs.push(err);
}
}
self.editor.flush_writes().await;
if self.editor.close_language_servers(None).await.is_err() {
log::error!("Timed out waiting for language servers to shutdown");

Loading…
Cancel
Save