Changeset 6248 in josm for trunk/src/org/openstreetmap/josm/io/MirroredInputStream.java
- Timestamp:
- 2013-09-23T16:47:50+02:00 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/io/MirroredInputStream.java
r6148 r6248 150 150 } 151 151 } catch (Exception e) { 152 if (file.getName().endsWith(".zip")) {153 System.err.println(tr("Warning: failed to open file with extension ''{2}'' and namepart ''{3}'' in zip file ''{0}''. Exception was: {1}",152 if (file.getName().endsWith(".zip")) { 153 Main.warn(tr("Failed to open file with extension ''{2}'' and namepart ''{3}'' in zip file ''{0}''. Exception was: {1}", 154 154 file.getName(), e.toString(), extension, namepart)); 155 155 } … … 257 257 {Long.toString(System.currentTimeMillis()), localFile.toString()})); 258 258 } else { 259 System.out.println(tr("Failed to rename file {0} to {1}.",259 Main.warn(tr("Failed to rename file {0} to {1}.", 260 260 destDirFile.getPath(), localFile.getPath())); 261 261 } 262 262 } catch (IOException e) { 263 263 if (age >= maxTime*1000 && age < maxTime*1000*2) { 264 System.out.println(tr("Failed to load {0}, use cached file and retry next time: {1}", 265 url, e)); 264 Main.warn(tr("Failed to load {0}, use cached file and retry next time: {1}", url, e)); 266 265 return localFile; 267 266 } else { … … 319 318 throw new IOException(msg); 320 319 } 321 System.out.println(tr("Download redirected to ''{0}''", downloadUrl));320 Main.info(tr("Download redirected to ''{0}''", downloadUrl)); 322 321 break; 323 322 default:
Note:
See TracChangeset
for help on using the changeset viewer.