X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fbin%2FLauncher.java;h=a55146d869f0a02cb687fc9988a7ca375edc2430;hb=80b889f0cca49103e1b20ed806755a0719789906;hp=e13f2dd619268cb8aa8f8b82668ab0a692a7143a;hpb=9d2408483e451285fd555c3cd6e0273977acbaa7;p=jalview.git diff --git a/src/jalview/bin/Launcher.java b/src/jalview/bin/Launcher.java index e13f2dd..a55146d 100644 --- a/src/jalview/bin/Launcher.java +++ b/src/jalview/bin/Launcher.java @@ -20,15 +20,15 @@ */ package jalview.bin; -import java.util.Locale; - import java.io.File; import java.io.IOException; import java.lang.management.ManagementFactory; import java.util.ArrayList; import java.util.List; +import java.util.Locale; import jalview.util.ChannelProperties; +import jalview.util.LaunchUtils; /** * A Launcher class for Jalview. This class is used to launch Jalview from the @@ -62,6 +62,14 @@ public class Launcher */ public static void main(String[] args) { + if (!LaunchUtils.checkJavaVersion()) + { + System.err.println("WARNING - The Java version being used (Java " + + LaunchUtils.getJavaVersion() + + ") may lead to problems. This installation of Jalview should be used with Java " + + LaunchUtils.getJavaCompileVersion() + "."); + } + final String javaBin = System.getProperty("java.home") + File.separator + "bin" + File.separator + "java"; @@ -106,6 +114,23 @@ public class Launcher } } + // use saved preferences if no cmdline args + boolean useCustomisedSettings = LaunchUtils + .getBooleanUserPreference(MemorySetting.CUSTOMISED_SETTINGS); + if (useCustomisedSettings) + { + if (jvmmempc == null) + { + jvmmempc = LaunchUtils + .getUserPreference(MemorySetting.MEMORY_JVMMEMPC); + } + if (jvmmemmax == null) + { + jvmmemmax = LaunchUtils + .getUserPreference(MemorySetting.MEMORY_JVMMEMMAX); + } + } + // add memory setting if not specified boolean memSet = false; boolean dockIcon = false; @@ -228,7 +253,6 @@ public class Launcher e.printStackTrace(); } // System.exit(0); - } }