From: Ben Soares <bsoares@dundee.ac.uk>
Date: Wed, 3 Jul 2019 13:03:30 +0000 (+0100)
Subject: JAL-3349 Remove processed args from list to send to jalview
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=5e0bbac5bf413f8ede4844afd67ac08a8ebb679f;p=jalview.git

JAL-3349 Remove processed args from list to send to jalview
---

diff --git a/getdown/lib/getdown-core.jar b/getdown/lib/getdown-core.jar
index 1ad9d47..29ef836 100644
Binary files a/getdown/lib/getdown-core.jar and b/getdown/lib/getdown-core.jar differ
diff --git a/getdown/lib/getdown-launcher.jar b/getdown/lib/getdown-launcher.jar
index 257432e..fcfe42f 100644
Binary files a/getdown/lib/getdown-launcher.jar and b/getdown/lib/getdown-launcher.jar differ
diff --git a/getdown/src/getdown/core/src/main/java/com/threerings/getdown/data/Application.java b/getdown/src/getdown/core/src/main/java/com/threerings/getdown/data/Application.java
index 9539744..7634726 100644
--- a/getdown/src/getdown/core/src/main/java/com/threerings/getdown/data/Application.java
+++ b/getdown/src/getdown/core/src/main/java/com/threerings/getdown/data/Application.java
@@ -1958,6 +1958,7 @@ public class Application
           if (arg.startsWith("-"+CLI_JVM_ARG_PREFIX)) {
             String newArg = arg.substring(CLI_JVM_ARG_PREFIX.length() + 1);
             extracted.add(newArg);
+            args.remove(arg);
           } else if (arg.startsWith("-jvmmempc=")) {
             try {
               _jvmmempc = Integer.parseInt(arg.substring(10));
diff --git a/j11lib/getdown-core.jar b/j11lib/getdown-core.jar
index 1ad9d47..29ef836 100644
Binary files a/j11lib/getdown-core.jar and b/j11lib/getdown-core.jar differ
diff --git a/j8lib/getdown-core.jar b/j8lib/getdown-core.jar
index 1ad9d47..29ef836 100644
Binary files a/j8lib/getdown-core.jar and b/j8lib/getdown-core.jar differ