getdown/src/getdown/core/src/main/java/jalview/bin/LaunchUtils.java

   1 package jalview.bin;
   2
   3 import java.io.File;
   4 import java.io.FileInputStream;
   5 import java.io.FileNotFoundException;
   6 import java.io.IOException;
   7 import java.util.Properties;
   8
   9 import jalview.util.ChannelProperties;
  10
  11 public class LaunchUtils
  12 {
  13
  14   private static Properties userPreferences = null;
  15
  16   public static String getUserPreference(String key)
  17   {
  18     if (userPreferences == null)
  19     {
  20       String channelPrefsFilename = ChannelProperties
  21               .getProperty("preferences.filename");
  22       String propertiesFile = System.getProperty("user.home")
  23               + File.separatorChar + channelPrefsFilename;
  24       try
  25       {
  26         userPreferences = new Properties();
  27         userPreferences.load(new FileInputStream(propertiesFile));
  28       } catch (FileNotFoundException e)
  29       {
  30         // didn't find user preferences file
  31         return null;
  32       } catch (IOException e)
  33       {
  34         System.err.println(e.getMessage());
  35         return null;
  36       }
  37     }
  38     return userPreferences.getProperty(key);
  39   }
  40
  41 }