Changeset 6152 in josm

Timestamp:

2013-08-16T10:28:07+02:00 (11 years ago)

Author:

bastiK

Message:

see #8972 - fix path separator

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/SourceEntry.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/SourceEntry.java

@@ -159 +159 @@
     /**
      * Returns the parent directory of the resource inside the zip file.
+     *
      * @return the parent directory of the resource inside the zip file,
      * "." if zipEntryPath is a top level file; null, if zipEntryPath is null
@@ -167 +168 @@
         File dir = file.getParentFile();
         if (dir == null) return ".";
-        return dir.getPath();
+        String path = dir.getPath();
+        if (!"/".equals(File.separator)) {
+            path = path.replace(File.separator, "/");
+        }
+        return path;
     }
 }