Changeset 3041 in josm for trunk/src

Timestamp:

2010-02-25T12:48:47+01:00 (15 years ago)

Author:

stoecker

Message:

fixed #4613 - icon updates

File:

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

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

@@ -102 +102 @@
             }
         } catch (Exception e) {
-            System.err.println(tr("Warning: failed to open file with extension ''{2}'' and namepart ''{3}'' in zip file ''{0}''. Exception was: {1}", file.getName(), e.toString(), extension, namepart));
+            if(file.getName().endsWith(".zip")) {
+                System.err.println(tr("Warning: failed to open file with extension ''{2}'' and namepart ''{3}'' in zip file ''{0}''. Exception was: {1}",
+                file.getName(), e.toString(), extension, namepart));
+            }
         }
         return res;