Changeset 6310 in josm for trunk/src/org/openstreetmap/josm/io/MirroredInputStream.java
- Timestamp:
- 2013-10-07T00:04:48+02:00 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/io/MirroredInputStream.java
r6248 r6310 158 158 } 159 159 160 public File getFile() 161 { 160 public File getFile() { 162 161 return file; 163 162 } 164 163 165 static public void cleanup(String name) 166 { 164 public static void cleanup(String name) { 167 165 cleanup(name, null); 168 166 } 169 static public void cleanup(String name, String destDir)170 {167 168 public static void cleanup(String name, String destDir) { 171 169 URL url; 172 170 try { 173 171 url = new URL(name); 174 if (!url.getProtocol().equals("file")) 175 { 172 if (!url.getProtocol().equals("file")) { 176 173 String prefKey = getPrefKey(url, destDir); 177 174 List<String> localPath = new ArrayList<String>(Main.pref.getCollection(prefKey)); … … 184 181 Main.pref.putCollection(prefKey, null); 185 182 } 186 } catch (java.net.MalformedURLException e) {} 183 } catch (MalformedURLException e) { 184 Main.warn(e); 185 } 187 186 } 188 187
Note:
See TracChangeset
for help on using the changeset viewer.