Changeset 9332 in josm


Ignore:
Timestamp:
2016-01-07T00:04:40+01:00 (9 years ago)
Author:
Don-vip
Message:

see #11924 - if available, use java.runtime.version instead of java.version in status report to get build number (useful for Early Access builds)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/actions/ShowStatusReportAction.java

    r9073 r9332  
    7070    public static String getReportHeader() {
    7171        StringBuilder text = new StringBuilder();
     72        String runtimeVersion = System.getProperty("java.runtime.version");
    7273        text.append(Version.getInstance().getReleaseAttributes())
    7374            .append("\nIdentification: ").append(Version.getInstance().getAgentString())
     
    7980            .append(Runtime.getRuntime().freeMemory()/1024/1024)
    8081            .append(" MB allocated, but free)\nJava version: ")
    81             .append(System.getProperty("java.version")).append(", ")
     82            .append(runtimeVersion != null ? runtimeVersion : System.getProperty("java.version")).append(", ")
    8283            .append(System.getProperty("java.vendor")).append(", ")
    8384            .append(System.getProperty("java.vm.name")).append('\n');
Note: See TracChangeset for help on using the changeset viewer.