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

Remove server from both hashmaps

Browse source
This commit is contained in:
Julia 2023-06-19 18:02:57 -04:00
parent afa1434aa9
commit 7e70e24bfc
1 changed files with 7 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -2528,6 +2528,13 @@ impl Project {
_ => return None, _ => return None,
}; };
for worktree in &self.worktrees {
if let Some(worktree) = worktree.upgrade(cx) {
let key = (worktree.read(cx).id(), adapter.name.clone());
self.language_server_ids.remove(&key);
}
}
Some(cx.spawn(move |this, mut cx| async move { Some(cx.spawn(move |this, mut cx| async move {
if let Some(task) = server.and_then(|server| server.shutdown()) { if let Some(task) = server.and_then(|server| server.shutdown()) {
println!("shutting down existing server"); println!("shutting down existing server");