Changeset 1743 in josm for trunk/src/org/openstreetmap/josm/io

Timestamp:

2009-07-07T19:54:54+02:00 (16 years ago)

Author:

stoecker

Message:

added much improved preferences for external styles and presets

File:

• trunk/src/org/openstreetmap/josm/io/MirroredInputStream.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/io/MirroredInputStream.java

@@ -85 +85 @@
             destDirFile.mkdirs();
 
-        localPath = "mirror_" + new File(url.getPath()).getName();
+        String a = url.toString().replaceAll("[^A-Za-z0-9_.-]", "_");
+        localPath = "mirror_" + a;
         destDirFile = new File(destDir, localPath + ".tmp");
         BufferedOutputStream bos = null;