From: hansonr <hansonr@STO24954W.ad.stolaf.edu>
Date: Tue, 2 Apr 2019 17:09:01 +0000 (-0500)
Subject: #210 Fixes Ensembl fetch problem (really)
X-Git-Tag: Develop-2_11_2_0-d20201215~24^2~68^2~179
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;ds=sidebyside;h=2b38dcf01ebc4ac100d99fee946a14c4b18f4693;p=jalview.git

#210 Fixes Ensembl fetch problem (really)
---

diff --git a/src/jalview/util/Platform.java b/src/jalview/util/Platform.java
index c400d83..b2bc3f4 100644
--- a/src/jalview/util/Platform.java
+++ b/src/jalview/util/Platform.java
@@ -418,6 +418,10 @@ public class Platform
    */
   public static void readInfoProperties(String prefix, Properties p)
   {
+    if (!isJS())
+    {
+      return;
+    }
     @SuppressWarnings("unused")
     ThreadGroup g = Thread.currentThread().getThreadGroup();
     String id = getUniqueAppletID();
@@ -452,7 +456,7 @@ public class Platform
   {
     if (isJS())
     {
-      return JSON.getJSONReader(response);
+      return JSON.parse(response);
     }
 
     BufferedReader br = null;