From eb630a0993bbc2372735c451b9c8fcbc451d11e7 Mon Sep 17 00:00:00 2001 From: hansonr Date: Sun, 31 Mar 2019 12:17:15 -0500 Subject: [PATCH] Cache JS adds search of Info for jalview_xxx properties --- src/jalview/bin/Cache.java | 8 +++++++- src/jalview/util/Platform.java | 2 ++ 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/src/jalview/bin/Cache.java b/src/jalview/bin/Cache.java index e20b75d..fda04cb 100755 --- a/src/jalview/bin/Cache.java +++ b/src/jalview/bin/Cache.java @@ -596,7 +596,13 @@ public class Cache */ public static String getProperty(String key) { - return applicationProperties.getProperty(key); + String prop = applicationProperties.getProperty(key); + if (prop == null && Platform.isJS()) + { + prop = applicationProperties.getProperty(Platform.getUniqueAppletID() + + "_" + JS_PROPERTY_PREFIX + key); + } + return prop; } /** diff --git a/src/jalview/util/Platform.java b/src/jalview/util/Platform.java index 118269a..d80e3de 100644 --- a/src/jalview/util/Platform.java +++ b/src/jalview/util/Platform.java @@ -415,6 +415,8 @@ public class Platform * if (key.indexOf(prefix) == 0) { value = "" + info[key]; */ + System.out.println( + "Platform id=" + id + " reading Info." + key + " = " + value); p.put(id + "_" + key, value); /** -- 1.7.10.2