X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fbin%2FJalview.java;h=6238c7db80e5e87c2f65c01cb23b83c2b8739835;hb=453fa24ab502aaca4ffccf3590f97c897b9580b3;hp=6f000ddacda9043b8e6339ba4c4d95b1f1efa7d1;hpb=c91960b43b7acd33dc76b9789bb61bafa05d3d09;p=jalview.git diff --git a/src/jalview/bin/Jalview.java b/src/jalview/bin/Jalview.java index 6f000dd..6238c7d 100755 --- a/src/jalview/bin/Jalview.java +++ b/src/jalview/bin/Jalview.java @@ -57,6 +57,7 @@ import com.threerings.getdown.util.LaunchUtil; //import edu.stanford.ejalbert.launching.IBrowserLaunching; import groovy.lang.Binding; import groovy.util.GroovyScriptEngine; +import jalview.bin.ArgParser.Arg; import jalview.ext.so.SequenceOntology; import jalview.gui.AlignFrame; import jalview.gui.Desktop; @@ -319,13 +320,18 @@ public class Jalview * @j2sIgnore */ { + if (argparser.isSet(Arg.HEADLESS)) + { + headless = argparser.getBool(Arg.HEADLESS); + } + if (aparser.contains("help") || aparser.contains("h")) { showUsage(); System.exit(0); } - if (aparser.contains("nodisplay") || aparser.contains("nogui") - || aparser.contains("headless")) + if (headless || aparser.contains("nodisplay") + || aparser.contains("nogui") || aparser.contains("headless")) { System.setProperty("java.awt.headless", "true"); headless = true; @@ -557,7 +563,12 @@ public class Jalview }.start(); } - Commands.processArgs(argparser, headless); + if (argparser.isSet(Arg.HEADLESS)) + headless = argparser.getBool(Arg.HEADLESS); + if (Commands.processArgs(argparser, headless)) + { + System.exit(1); + } String file = null, data = null; FileFormatI format = null;