fix: Don't crash if language servers time out

pull/548/head^2
Blaž Hrastnik 2021-08-10 10:52:02 +09:00
parent 0a7add4ad4
commit a4564adadd
1 changed files with 3 additions and 1 deletions

View File

@ -527,7 +527,9 @@ impl Application {
self.event_loop().await; self.event_loop().await;
self.editor.close_language_servers(None).await?; if self.editor.close_language_servers(None).await.is_err() {
log::error!("Timed out waiting for language servers to shutdown");
};
self.restore_term()?; self.restore_term()?;