Changeset 13881 in josm


Ignore:
Timestamp:
2018-06-02T19:25:11+02:00 (11 months ago)
Author:
stoecker
Message:

never add URL extension to preference key

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/io/CachedFile.java

    r13741 r13881  
    399399            url = new URL(name);
    400400            if (!"file".equals(url.getProtocol())) {
    401                 String prefKey = getPrefKey(url, destDir, null);
     401                String prefKey = getPrefKey(url, destDir);
    402402                List<String> localPath = new ArrayList<>(Config.getPref().getList(prefKey));
    403403                if (localPath.size() == 2) {
     
    420420     * @param url URL
    421421     * @param destDir destination directory
    422      * @param parameter additional URL parameter (used e.g. for maps)
    423422     * @return Preference key
    424423     */
    425     private static String getPrefKey(URL url, String destDir, String parameter) {
     424    private static String getPrefKey(URL url, String destDir) {
    426425        StringBuilder prefKey = new StringBuilder("mirror.");
    427426        if (destDir != null) {
    428427            prefKey.append(destDir).append('.');
    429428        }
    430         if (parameter != null) {
    431             prefKey.append(url.toString().replaceAll("%<(.*)>", ""));
    432         } else {
    433             prefKey.append(url.toString());
    434         }
     429        prefKey.append(url.toString().replaceAll("%<(.*)>", ""));
    435430        return prefKey.toString().replaceAll("=", "_");
    436431    }
    437432
    438433    private File checkLocal(URL url) throws IOException {
    439         String prefKey = getPrefKey(url, destDir, parameter);
     434        String prefKey = getPrefKey(url, destDir);
    440435        String urlStr = url.toExternalForm();
    441436        if (parameter != null)
Note: See TracChangeset for help on using the changeset viewer.