X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Futil%2FPlatform.java;h=b2bc3f4f4fdf4c307c2aeb80ba81369558f36eea;hb=2b38dcf01ebc4ac100d99fee946a14c4b18f4693;hp=c400d83f20bb911f5d90efaa3515a121c7839f9f;hpb=7410e0b51552942fd0a6d80eebe2ef5f1c724b08;p=jalview.git 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;