diff options
Diffstat (limited to 'src/launcher/jre.rs')
| -rw-r--r-- | src/launcher/jre.rs | 9 |
1 files changed, 8 insertions, 1 deletions
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()))) { |