From f521dd3e06d5e7303d8cd11c5c1ed5aeff7486ce Mon Sep 17 00:00:00 2001 From: hansonr Date: Thu, 16 May 2019 10:57:34 -0500 Subject: [PATCH] Jalview-JS/JAL-3253 honor Applet param case insensitive --- src/jalview/bin/ArgsParser.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/jalview/bin/ArgsParser.java b/src/jalview/bin/ArgsParser.java index 4c2a6c0..2780e25 100644 --- a/src/jalview/bin/ArgsParser.java +++ b/src/jalview/bin/ArgsParser.java @@ -182,7 +182,8 @@ public class ArgsParser { String value; return (appletParams == null ? null - : (value = appletParams.get(key)) != null ? value : def); + : (value = appletParams.get(key.toLowerCase())) != null ? value + : def); } } -- 1.7.10.2