From 075bee27ee6f9fe277a9f08e787d2cc607aaebd5 Mon Sep 17 00:00:00 2001 From: bigfoot547 Date: Thu, 23 Jan 2025 15:29:34 -0600 Subject: fix jre cleanup on windows --- src/launcher/jre.rs | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'src/launcher/jre.rs') diff --git a/src/launcher/jre.rs b/src/launcher/jre.rs index a09c8f3..a3cbb27 100644 --- a/src/launcher/jre.rs +++ b/src/launcher/jre.rs @@ -110,7 +110,14 @@ impl JavaRuntimeRepository { continue; } - if !rel_path.to_str().is_some_and(|s| manifest.files.get(s) + let rel_path_str; + if std::path::MAIN_SEPARATOR != '/' { + rel_path_str = rel_path.to_str().map(|s| s.replace(std::path::MAIN_SEPARATOR, "/")); + } else { + rel_path_str = rel_path.to_str().map(String::from); + } + + if !rel_path_str.as_ref().is_some_and(|s| manifest.files.get(s) .is_some_and(|f| (f.is_file() == entry.file_type().is_file()) || (f.is_directory() == entry.file_type().is_dir()) || (f.is_link() == entry.file_type().is_symlink()))) { -- cgit v1.2.3-70-g09d2