Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Kill starting servers as well as currently running ones

Browse source
This commit is contained in:
Keith Simmons 2022-06-30 17:00:29 -07:00
parent db05e32389
commit 5e7651e92e
1 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

12
crates/project/src/project.rs
View file

@ -5803,12 +5803,12 @@ impl Entity for Project {
let shutdown_futures = self let shutdown_futures = self
.language_servers .language_servers
.drain() .drain()
.filter_map(|(_, server_state)| { .map(|(_, server_state)| async {
// TODO: Handle starting servers? match server_state {
if let LanguageServerState::Running { server, .. } = server_state { LanguageServerState::Running { server, .. } => server.shutdown()?.await,
server.shutdown() LanguageServerState::Starting(starting_server) => {
} else { starting_server.await?.shutdown()?.await
None }
} }
}) })
.collect::<Vec<_>>(); .collect::<Vec<_>>();