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

Clear language server id for all worktrees when stopping a language server

Browse source
This commit is contained in:
Keith Simmons 2022-06-30 17:50:30 -07:00
parent 6b50dda28a
commit 832cc3dd19
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -2249,6 +2249,10 @@ impl Project {
) -> Task<()> { ) -> Task<()> {
let key = (worktree_id, adapter_name); let key = (worktree_id, adapter_name);
if let Some(server_id) = self.language_server_ids.remove(&key) { if let Some(server_id) = self.language_server_ids.remove(&key) {
// Remove other entries for this language server
self.language_server_ids
.retain(|_, other_id| other_id != &server_id);
self.language_server_statuses.remove(&server_id); self.language_server_statuses.remove(&server_id);
cx.notify(); cx.notify();