X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fbin%2FCache.java;h=480bf5db0596650d743c129d1961621f203b6cdb;hb=74e4d71835fd0031dd7c309e37ec6bf934e4de4a;hp=e2477d9eab317abb2452fff15073bfd7a4f3770f;hpb=086115440f8e30fa1bfc881e00b94878b491fb89;p=jalview.git

diff --git a/src/jalview/bin/Cache.java b/src/jalview/bin/Cache.java
index e2477d9..480bf5d 100755
--- a/src/jalview/bin/Cache.java
+++ b/src/jalview/bin/Cache.java
@@ -30,7 +30,9 @@ import java.net.*;
  * <br><br>Current properties include:
  * <br>logs.Axis.Level - one of the stringified Levels for log4j controlling the logging level for axis (used for web services)
  * <br>logs.Castor.Level - one of the stringified Levels for log4j controlling the logging level for castor (used for serialization)
- * <br>jalview.browser - used in the jalview.utils.browserLauncher class if it doesn't know what else to do.
+ * <br>logs.Jalview.Level - Jalview.log stringified level.
+ * <br>DISCOVERY_START - Boolean - controls if discovery services are queried on startup
+ * <br>DISCOVERY_URLS - comma separated list of Discovery Service endpoints.
  * <br>SCREEN_WIDTH,SCREEN_HEIGHT,SCREEN_Y=285,SCREEN_X=371,SHOW_FULLSCREEN
  * FONT_NAME,FONT_SIZE,FONT_STYLE,GAP_SYMBOL,LAST_DIRECTORY,USER_DEFINED_COLOUR
  * SHOW_FULL_ID,SHOW_IDENTITY,SHOW_QUALITY,SHOW_ANNOTATIONS,SHOW_CONSERVATION,
@@ -43,7 +45,7 @@ public class Cache
 {
 
     /** Jalview Properties */
-    public static Properties applicationProperties;
+    public static Properties applicationProperties = new Properties();
 
     /** Default file is  ~/.jalview_properties */
     static String propertiesFile;
@@ -51,7 +53,6 @@ public class Cache
     /** Called when Jalview is started */
     public static void loadProperties(String propsFile)
     {
-        applicationProperties = new Properties();
         propertiesFile = propsFile;
         if (propsFile == null)
         {
@@ -71,6 +72,14 @@ public class Cache
           System.out.println("Error reading properties file: "+ex);
         }
 
+      if(getDefault("USE_PROXY", false))
+      {
+          System.out.println("Using proxyServer: "+getDefault("PROXY_SERVER", null)+
+                           " proxyPort: "+getDefault("PROXY_PORT", null));
+          System.setProperty("http.proxyHost", getDefault("PROXY_SERVER", null));
+          System.setProperty("http.proxyPort", getDefault("PROXY_PORT", null));
+      }
+
         // FIND THE VERSION NUMBER AND BUILD DATE FROM jalview.jar
         // MUST FOLLOW READING OF LOCAL PROPERTIES FILE AS THE
         // VERSION MAY HAVE CHANGED SINCE LAST USING JALVIEW
@@ -105,34 +114,67 @@ public class Cache
           jnlpVersion = "Test";
         }
 
+
+        System.out.println("Jalview Version: "+codeVersion);
+
         // jnlpVersion will be null if we're using InstallAnywhere
-        if(jnlpVersion==null)
+        // Dont do this check if running in headless mode
+        if(jnlpVersion==null && (
+                System.getProperty("java.awt.headless")==null
+             || System.getProperty("java.awt.headless").equals("false")))
         {
-          try{
-            java.net.URL url = new java.net.URL("http://www.jalview.org/webstart/jalview.jnlp");
-            BufferedReader in = new BufferedReader(new InputStreamReader(url.openStream()));
-            String line = null;
-            while( (line = in.readLine()) !=null)
-            {
-              if(line.indexOf("jalview.version")==-1)
-                continue;
 
-              line = line.substring(line.indexOf("value=")+7);
-              line = line.substring(0, line.lastIndexOf("\""));
-              jnlpVersion = line;
-              break;
+
+          class VersionChecker
+              extends Thread
+          {
+            public void run()
+            {
+              String jnlpVersion = null;
+              try
+              {
+                java.net.URL url = new java.net.URL(
+                    "http://www.jalview.org/webstart/jalview.jnlp");
+                BufferedReader in = new BufferedReader(new InputStreamReader(url.
+                    openStream()));
+                String line = null;
+                while ( (line = in.readLine()) != null)
+                {
+                  if (line.indexOf("jalview.version") == -1)
+                    continue;
+
+                  line = line.substring(line.indexOf("value=") + 7);
+                  line = line.substring(0, line.lastIndexOf("\""));
+                  jnlpVersion = line;
+                  break;
+                }
+              }
+              catch (Exception ex)
+              {
+                System.out.println(ex);
+                jnlpVersion = getProperty("VERSION");
+              }
+
+              setProperty("LATEST_VERSION", jnlpVersion);
             }
-          }catch(Exception ex)
-          {  jnlpVersion =  codeVersion; }
-        }
+          }
 
-        System.out.println("Version: "+codeVersion);
-        System.out.println("Latest : "+jnlpVersion);
+          VersionChecker vc = new VersionChecker();
+          vc.start();
+        }
+        else
+        {
+          setProperty("LATEST_VERSION", jnlpVersion);
+        }
 
-        setProperty("LATEST_VERSION", jnlpVersion);
         setProperty("VERSION", codeVersion);
+
+        //LOAD USERDEFINED COLOURS
+        jalview.gui.UserDefinedColours.initUserColourSchemes( getProperty("USER_DEFINED_COLOURS"));
     }
 
+
+
     /**
      * Gets Jalview application property of given key. Returns null
      * if key not found
@@ -146,6 +188,37 @@ public class Cache
         return applicationProperties.getProperty(key);
     }
 
+
+    /** These methods are used when checking if the saved preference
+     * is different to the default setting
+     */
+
+    public static boolean getDefault(String property, boolean def)
+    {
+      String string = getProperty(property);
+      if (string != null)
+      {
+        def = Boolean.valueOf(string).booleanValue();
+      }
+
+      return def;
+    }
+
+    /** These methods are used when checking if the saved preference
+    * is different to the default setting
+    */
+    public static String getDefault(String property, String def)
+    {
+      String string = getProperty(property);
+      if (string != null)
+      {
+        return string;
+      }
+
+      return def;
+    }
+
+
     /**
      * Stores property in the file "HOME_DIR/.jalview_properties"
      *
@@ -159,16 +232,24 @@ public class Cache
         try
         {
             FileOutputStream out = new FileOutputStream(propertiesFile);
-
             applicationProperties.setProperty(key, obj);
-
             applicationProperties.store(out, "---JalviewX Properties File---");
             out.close();
         }
         catch (Exception ex)
+        {   System.out.println("Error setting property: "+key+" "+obj+"\n"+ex);   }
+        return obj;
+    }
+
+    public static void saveProperties()
+    {
+        try
         {
+            FileOutputStream out = new FileOutputStream(propertiesFile);
+            applicationProperties.store(out, "---JalviewX Properties File---");
+            out.close();
         }
-
-        return obj;
+        catch (Exception ex)
+        {  System.out.println("Error saving properties: "+ex);  }
     }
 }