Changeset 12321 in josm


Ignore:
Timestamp:
2017-06-06T01:34:21+02:00 (11 months ago)
Author:
Don-vip
Message:

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

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/tools/PlatformHookWindows.java

    r12278 r12321  
    297297        StringBuilder sb = new StringBuilder();
    298298        try {
    299             sb.append(getProductName()).append(' ')
    300               .append(getReleaseId()).append(" (")
    301               .append(getCurrentBuild()).append(')');
     299            sb.append(getProductName());
     300            String releaseId = getReleaseId();
     301            if (releaseId != null) {
     302                sb.append(' ').append(releaseId);
     303            }
     304            sb.append(" (").append(getCurrentBuild()).append(')');
    302305        } catch (ReflectiveOperationException e) {
    303306            Main.error(e);
Note: See TracChangeset for help on using the changeset viewer.