JAL-3446 forgot to escape Java in modified Platform.getAppID
authorBobHanson <hansonr@stolaf.edu>
Fri, 5 Jun 2020 15:35:23 +0000 (10:35 -0500)
committerBobHanson <hansonr@stolaf.edu>
Fri, 5 Jun 2020 15:35:23 +0000 (10:35 -0500)
src/jalview/util/Platform.java

index 8f8350f..c89f1e7 100644 (file)
@@ -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);
   }