mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-02-06 18:46:49 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 10

Only process diagnostics if corresponding project is alive

Browse source 
Part of https://github.com/zed-industries/zed/pull/3128 that is possible
to apply now.
This commit is contained in:
Kirill Bulatov 2023-10-31 10:40:49 +02:00
parent bcf3bac168
commit c98a811c0b
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
crates/project2/src/project2.rs
View file

@ -2986,8 +2986,8 @@ impl Project {
let this = this.clone();
move |mut params, mut cx| {
let adapter = adapter.clone();
adapter.process_diagnostics(&mut params);
if let Some(this) = this.upgrade() {
adapter.process_diagnostics(&mut params);
this.update(&mut cx, |this, cx| {
this.update_diagnostics(
server_id,