X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fbin%2FCache.java;h=370a2433c3d8b8bcd8683b89e500bf0581a9da5e;hb=66270dda280788c15956c7a0485f0b9adf03c62a;hp=22a6b697952288bed6dafaa29b526193d586347d;hpb=32504ac62e27ce8849ab331a10b7cc3d0c2322b2;p=jalview.git diff --git a/src/jalview/bin/Cache.java b/src/jalview/bin/Cache.java index 22a6b69..370a243 100755 --- a/src/jalview/bin/Cache.java +++ b/src/jalview/bin/Cache.java @@ -518,25 +518,29 @@ public class Cache + orgtimeout + " seconds."); } String remoteVersion = null; - try + if (remoteBuildPropertiesUrl.startsWith("http")) { - System.setProperty("sun.net.client.defaultConnectTimeout", - "5000"); - java.net.URL url = new java.net.URL(remoteBuildPropertiesUrl); + try + { + System.setProperty("sun.net.client.defaultConnectTimeout", + "5000"); - BufferedReader in = new BufferedReader( - new InputStreamReader(url.openStream())); + URL url = new URL(remoteBuildPropertiesUrl); - Properties remoteBuildProperties = new Properties(); - remoteBuildProperties.load(in); - remoteVersion = remoteBuildProperties.getProperty("VERSION"); - } catch (Exception ex) - { - System.out - .println("Non-fatal exception when checking version at " - + remoteBuildPropertiesUrl + ":"); - System.out.println(ex); - remoteVersion = getProperty("VERSION"); + BufferedReader in = new BufferedReader( + new InputStreamReader(url.openStream())); + + Properties remoteBuildProperties = new Properties(); + remoteBuildProperties.load(in); + remoteVersion = remoteBuildProperties.getProperty("VERSION"); + } catch (Exception ex) + { + System.out.println( + "Non-fatal exception when checking version at " + + remoteBuildPropertiesUrl + ":"); + System.out.println(ex); + remoteVersion = getProperty("VERSION"); + } } System.setProperty("sun.net.client.defaultConnectTimeout", orgtimeout); @@ -626,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); @@ -1207,9 +1216,9 @@ public class Cache appendIfNotNull(sb, "Channel: ", ChannelProperties.getProperty("channel"), "\n", null); appendIfNotNull(sb, "Getdown appdir: ", - System.getProperty("getdownappdir"), "\n", null); + System.getProperty("getdowninstanceappdir"), "\n", null); appendIfNotNull(sb, "Getdown appbase: ", - System.getProperty("getdownappbase"), "\n", null); + System.getProperty("getdowninstanceappbase"), "\n", null); appendIfNotNull(sb, "Java home: ", System.getProperty("java.home"), "\n", "unknown"); }