path separator in JAR file is always /

It is not platform-dependent.
webjars · Oct 20, 2023 · 71c9110 · 71c9110
1 parent 1cb9198
commit 71c9110
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/main/java/org/webjars/WebJarExtractor.java b/src/main/java/org/webjars/WebJarExtractor.java
@@ -40,6 +40,8 @@ public class WebJarExtractor {
     /** The bower.json file name. */
     public static final String BOWER_JSON = "bower.json";
 
+    private static final String JAR_PATH_DELIMITER = "/";
+
     private static final Logger log = LoggerFactory.getLogger(WebJarExtractor.class);
 
     private final ClassLoader classLoader;
@@ -130,7 +132,7 @@ private void extractResourcesTo(@Nonnull final String webJarName, @Nonnull final
     }
 
     private static void extractResource(@Nonnull String webJarName, @Nonnull WebJarInfo webJarInfo, @Nullable File to, @Nonnull String webJarId, @Nonnull Resource resource, @Nonnull InputStream inputStream) {
-        final String prefix = String.format("%s%s%s%s%s", WEBJARS_PATH_PREFIX, File.separator, webJarName, File.separator, webJarInfo.getVersion() == null ? "" : String.format("%s%s", webJarInfo.getVersion(), File.separator));
+        final String prefix = String.format("%s%s%s%s%s", WEBJARS_PATH_PREFIX, JAR_PATH_DELIMITER, webJarName, JAR_PATH_DELIMITER, webJarInfo.getVersion() == null ? "" : String.format("%s%s", webJarInfo.getVersion(), JAR_PATH_DELIMITER));
         if (resource.getPath().startsWith(prefix)) {
             final String newPath = resource.getPath().substring(prefix.length());
             final String relativeName = String.format("%s%s%s", webJarId, File.separator, newPath);