From 0f4f3bfbdeab0d5a37bbdb3b9767e0009bfb5c3e Mon Sep 17 00:00:00 2001 From: Julia Date: Fri, 31 Mar 2023 15:31:50 -0400 Subject: [PATCH] Revert "Merge pull request #2335 from zed-industries/dont-delete-json-server-after-downloading-it" This reverts commit 516e77906e100b64021a3941193977ccf8f0ec86, reversing changes made to 54582fd77fec3eb0620ee6b687efa7e046bb33c4. --- crates/zed/src/languages/json.rs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/crates/zed/src/languages/json.rs b/crates/zed/src/languages/json.rs index fddab54956e7a07fe115566cc8bae4da329d871a..7919f7510d4ee77fce75f59e9a65a88df58c941a 100644 --- a/crates/zed/src/languages/json.rs +++ b/crates/zed/src/languages/json.rs @@ -16,7 +16,7 @@ use std::{ sync::Arc, }; use theme::ThemeRegistry; -use util::http::HttpClient; +use util::{fs::remove_matching, http::HttpClient}; use util::{paths, ResultExt, StaffMode}; const SERVER_PATH: &'static str = @@ -83,6 +83,8 @@ impl LspAdapter for JsonLspAdapter { &version_dir, ) .await?; + + remove_matching(&container_dir, |entry| entry != server_path).await; } Ok(LanguageServerBinary {