From: BobHanson <hansonr@stolaf.edu>
Date: Fri, 5 Jun 2020 15:35:23 +0000 (-0500)
Subject: JAL-3446 forgot to escape Java in modified Platform.getAppID
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=f7440b5a8c1f476bdc2828815a1cb5238137e017;p=jalview.git

JAL-3446 forgot to escape Java in modified Platform.getAppID
---

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);
   }