Changeset 12321 in josm

Timestamp:

2017-06-06T01:34:21+02:00 (7 years ago)

Author:

Don-vip

Message:

fix OS Build number on Windows 7 (no releaseId like on Windows 10)

File:

• trunk/src/org/openstreetmap/josm/tools/PlatformHookWindows.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/tools/PlatformHookWindows.java

@@ -297 +297 @@
         StringBuilder sb = new StringBuilder();
         try {
-            sb.append(getProductName()).append(' ')
-              .append(getReleaseId()).append(" (")
-              .append(getCurrentBuild()).append(')');
+            sb.append(getProductName());
+            String releaseId = getReleaseId();
+            if (releaseId != null) {
+                sb.append(' ').append(releaseId);
+            }
+            sb.append(" (").append(getCurrentBuild()).append(')');
         } catch (ReflectiveOperationException e) {
             Main.error(e);