Changeset 5854 in josm for trunk/src/org/openstreetmap/josm/gui

Timestamp:

2013-04-14T12:50:53+02:00 (11 years ago)

Author:

bastiK

Message:

fixed #7648 - GPS-Download in JOSM in specific area not possible

File:

• trunk/src/org/openstreetmap/josm/gui/dialogs/properties/PropertiesDialog.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/dialogs/properties/PropertiesDialog.java

@@ -1067 +1067 @@
 
                                 if (conn.getResponseCode() != 200) {
-                                    Main.info("INFO: {0} does not exist", u);
+                                    Main.info("{0} does not exist", u);
                                     conn.disconnect();
                                 } else {
@@ -1084 +1084 @@
                                      */
                                     if (Math.abs(conn.getContentLength() - osize) > 200) {
-                                        Main.info("INFO: {0} is a mediawiki redirect", u);
+                                        Main.info("{0} is a mediawiki redirect", u);
                                         conn.disconnect();
                                     } else {
-                                        Main.info("INFO: browsing to {0}", u);
+                                        Main.info("browsing to {0}", u);
                                         conn.disconnect();