prevent exception when no default timeout is specified
authorjprocter <Jim Procter>
Fri, 18 Jul 2008 12:29:54 +0000 (12:29 +0000)
committerjprocter <Jim Procter>
Fri, 18 Jul 2008 12:29:54 +0000 (12:29 +0000)
src/jalview/bin/Cache.java

index aed61f2..0744cd9 100755 (executable)
@@ -239,6 +239,11 @@ public class Cache
         public void run()
         {
           String orgtimeout = System.getProperty("sun.net.client.defaultConnectTimeout");
+          if (orgtimeout==null)
+          {
+            orgtimeout="30";
+            System.out.println("# INFO: Setting default net timeout to "+orgtimeout+" seconds.");
+          }
           String jnlpVersion = null;
           try
           {
@@ -263,6 +268,7 @@ public class Cache
           }
           catch (Exception ex)
           {
+            System.out.println("Non-fatal exceptions when checking version at www.jalview.org :");
             System.out.println(ex);
             jnlpVersion = getProperty("VERSION");
           }