From: Ben Soares 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