Changeset 5854 in josm for trunk/src/org/openstreetmap/josm/Main.java

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/Main.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/Main.java

@@ -200 +200 @@
         if (log_level < 1)
             return;
-        System.out.println(msg);
+        System.err.println(tr("WARNING: {0}", msg));
     }
     /**
@@ -209 +209 @@
         if (log_level < 2)
             return;
-        System.out.println(msg);
+        System.err.println(tr("INFO: {0}", msg));
     }
     /**
@@ -218 +218 @@
         if (log_level < 3)
             return;
-        System.out.println(msg);
+        System.err.println(tr("DEBUG: {0}", msg));
     }
     /**