Clear language server and worktree statuses when unsharing on server

Antonio Scandurra created 3 years ago

Change summary

crates/collab/src/rpc/store.rs | 7 +++++++
1 file changed, 7 insertions(+)

Detailed changes

crates/collab/src/rpc/store.rs

@@ -550,6 +550,13 @@ impl Store {
 
         let connection_ids = project.connection_ids();
         let unshare = connection_ids.len() <= 1 && project.join_requests.is_empty();
+        if unshare {
+            project.language_servers.clear();
+            for worktree in project.worktrees.values_mut() {
+                worktree.diagnostic_summaries.clear();
+                worktree.entries.clear();
+            }
+        }
 
         Ok(LeftProject {
             host_connection_id: project.host_connection_id,