Changeset 6421 in josm for trunk/src/org/openstreetmap/josm/data

Timestamp:

2013-11-28T23:33:10+01:00 (10 years ago)

Author:

simon04

Message:

see #9341 - provide utility methods to open URL + decompress stream if needed

File:

• trunk/src/org/openstreetmap/josm/data/Version.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/data/Version.java

@@ -236 +236 @@
         }
         String result = "JOSM/1.5 ("+ s+" "+LanguageInfo.getJOSMLocaleCode()+")";
-        if (includeOsDetails) {
+        if (includeOsDetails && Main.platform != null) {
             result += " " + Main.platform.getOSDescription();
         }