X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fbin%2FCache.java;h=bb70c406b24e2c9cf663d1f62e752de69c106d37;hb=1aa7a7bfe46e16a5125192933b8ba6ae4bc6c9bf;hp=0ec0e7892fe8a4e4bb659efa1f273da280aa8190;hpb=993745a73b9f0660fb6d0fa263c13673158d1130;p=jalview.git diff --git a/src/jalview/bin/Cache.java b/src/jalview/bin/Cache.java index 0ec0e78..bb70c40 100755 --- a/src/jalview/bin/Cache.java +++ b/src/jalview/bin/Cache.java @@ -630,6 +630,11 @@ public class Cache applicationProperties.put("VERSION", buildProperties.getProperty("VERSION")); } + if (buildProperties.getProperty("JAVA_COMPILE_VERSION", null) != null) + { + applicationProperties.put("JAVA_COMPILE_VERSION", + buildProperties.getProperty("JAVA_COMPILE_VERSION")); + } } catch (Exception ex) { System.out.println("Error reading build details: " + ex); @@ -1185,6 +1190,7 @@ public class Cache sb.append("Java version: "); sb.append(System.getProperty("java.version")); sb.append("\n"); + sb.append("Java platform: "); sb.append(System.getProperty("os.arch")); sb.append(" "); sb.append(System.getProperty("os.name")); @@ -1205,17 +1211,19 @@ public class Cache sb.append(" ("); sb.append(lafClass); sb.append(")\n"); + appendIfNotNull(sb, "Channel: ", + ChannelProperties.getProperty("channel"), "\n", null); if (Console.isDebugEnabled() || !"release".equals(ChannelProperties.getProperty("channel"))) { - appendIfNotNull(sb, "Channel: ", - ChannelProperties.getProperty("channel"), "\n", null); appendIfNotNull(sb, "Getdown appdir: ", System.getProperty("getdowninstanceappdir"), "\n", null); appendIfNotNull(sb, "Getdown appbase: ", System.getProperty("getdowninstanceappbase"), "\n", null); appendIfNotNull(sb, "Java home: ", System.getProperty("java.home"), "\n", "unknown"); + appendIfNotNull(sb, "Preferences file: ", propertiesFile, "\n", + "unknown"); } return sb.toString(); } @@ -1396,10 +1404,11 @@ public class Cache if (customProxySet && // we have a username but no password for the scheme being // requested - (protocol.equalsIgnoreCase("http") - && (httpUser != null && httpUser.length() > 0 - && (httpPassword == null - || httpPassword.length == 0))) + (protocol.equalsIgnoreCase("http") + && (httpUser != null + && httpUser.length() > 0 + && (httpPassword == null + || httpPassword.length == 0))) || (protocol.equalsIgnoreCase("https") && (httpsUser != null && httpsUser.length() > 0