Changeset 6152 in josm


Ignore:
Timestamp:
2013-08-16T10:28:07+02:00 (8 years ago)
Author:
bastiK
Message:

see #8972 - fix path separator

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/preferences/SourceEntry.java

    r6151 r6152  
    159159    /**
    160160     * Returns the parent directory of the resource inside the zip file.
     161     *
    161162     * @return the parent directory of the resource inside the zip file,
    162163     * "." if zipEntryPath is a top level file; null, if zipEntryPath is null
     
    167168        File dir = file.getParentFile();
    168169        if (dir == null) return ".";
    169         return dir.getPath();
     170        String path = dir.getPath();
     171        if (!"/".equals(File.separator)) {
     172            path = path.replace(File.separator, "/");
     173        }
     174        return path;
    170175    }
    171176}
Note: See TracChangeset for help on using the changeset viewer.