diff --git a/uk/ac/sanger/artemis/components/Splash.java b/uk/ac/sanger/artemis/components/Splash.java index ea1b989dee87e21f6913db817a5ba9f72b68083c..8daea10c577482d90f8bb1c3ea8e6f852f33e621 100644 --- a/uk/ac/sanger/artemis/components/Splash.java +++ b/uk/ac/sanger/artemis/components/Splash.java @@ -349,6 +349,29 @@ abstract public class Splash extends JFrame icon); } + /** + * Web start properties need to begin with "javaws." or "jnlp. + */ + protected static void processJnlpAttributes() + { + // JNLP properties + final Properties properties = System.getProperties(); + for(String key : properties.stringPropertyNames()) + { + if( key.equals("jnlp.black_belt_mode") || + key.equals("jnlp.chado") || + key.equals("jnlp.offset") || + key.equals("jnlp.artemis.environment") || + key.equals("jnlp.sanger_options") || + key.equals("jnlp.read_only") || + key.startsWith("jnlp.bam") || + key.startsWith("jnlp.userplot") || + key.startsWith("jnlp.loguserplot") || + key.startsWith("jnlp.show_") ) + System.setProperty(key.substring(5), System.getProperty(key)); + } + } + protected void loadFile(final String fileName) { if(this instanceof ArtemisMain)