From f7440b5a8c1f476bdc2828815a1cb5238137e017 Mon Sep 17 00:00:00 2001 From: BobHanson Date: Fri, 5 Jun 2020 10:35:23 -0500 Subject: [PATCH] JAL-3446 forgot to escape Java in modified Platform.getAppID --- src/jalview/util/Platform.java | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/jalview/util/Platform.java b/src/jalview/util/Platform.java index 8f8350f..c89f1e7 100644 --- a/src/jalview/util/Platform.java +++ b/src/jalview/util/Platform.java @@ -930,11 +930,12 @@ public class Platform */ public static String getAppID(String frameType) { + String id = Jalview.getInstance().j2sAppletID; if (id == null) { - Jalview.getInstance().j2sAppletID = id = (String) jsutil - .getAppletAttribute("_id"); + Jalview.getInstance().j2sAppletID = id = (isJS ? (String) jsutil + .getAppletAttribute("_id") : "jalview"); } return id + (frameType == null ? "" : "-" + frameType); } -- 1.7.10.2