X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fbin%2FJalview.java;h=6238c7db80e5e87c2f65c01cb23b83c2b8739835;hb=453fa24ab502aaca4ffccf3590f97c897b9580b3;hp=142890675af84e3f5ee3bb998bd75f73f39f1071;hpb=0f771e8985d361950c537aa52269746fe8ab456b;p=jalview.git

diff --git a/src/jalview/bin/Jalview.java b/src/jalview/bin/Jalview.java
index 1428906..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;
@@ -298,7 +299,10 @@ public class Jalview
     // report Jalview version
     Cache.loadBuildProperties(true);
 
+    // old ArgsParser
     ArgsParser aparser = new ArgsParser(args);
+    // new ArgParser
+    ArgParser argparser = new ArgParser(args);
     boolean headless = false;
 
     String usrPropsFile = aparser.getValue("props");
@@ -316,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;
@@ -554,6 +563,13 @@ public class Jalview
       }.start();
     }
 
+    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;
     DataSourceType protocol = null;