From 9b56c827d812301e95c37658bba2e1467dc4ede3 Mon Sep 17 00:00:00 2001 From: Ben Soares Date: Thu, 28 Sep 2023 17:10:29 +0100 Subject: [PATCH 1/1] JAL-4059 Fix an incorrectly applied change of method for JalviewJS --- src/jalview/util/Platform.java | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/src/jalview/util/Platform.java b/src/jalview/util/Platform.java index 4ecf637..9c2825f 100644 --- a/src/jalview/util/Platform.java +++ b/src/jalview/util/Platform.java @@ -325,8 +325,9 @@ public class Platform } if (msg != null) { - jalview.bin.Console.errPrintln("Platform: timer mark\t" + ((t - time) / 1000f) - + "\t" + ((t - mark) / 1000f) + "\t" + msg); + jalview.bin.Console.errPrintln( + "Platform: timer mark\t" + ((t - time) / 1000f) + "\t" + + ((t - mark) / 1000f) + "\t" + msg); } mark = t; } @@ -337,8 +338,9 @@ public class Platform case TIME_GET: if (msg != null) { - jalview.bin.Console.errPrintln("Platform: timer dur\t" + ((t - time) / 1000f) - + "\t" + ((duration) / 1000f) + "\t" + msg); + jalview.bin.Console + .errPrintln("Platform: timer dur\t" + ((t - time) / 1000f) + + "\t" + ((duration) / 1000f) + "\t" + msg); } set = 0; break; @@ -644,11 +646,11 @@ public class Platform * @j2sNative var a = * decodeURI((document.location.href.replace("&","?").split("?j2s")[0] * + "?").split("?")[1].split("#")[0]); a && - * (jalview.bin.Console.outPrintln("URL arguments detected were "+a)) && + * (System.out.println("URL arguments detected were "+a)) && * (J2S.thisApplet.__Info.urlargs = a.split(" ")); * (!J2S.thisApplet.__Info.args || J2S.thisApplet.__Info.args * == "" || J2S.thisApplet.__Info.args == "??") && - * (J2S.thisApplet.__Info.args = a) && (jalview.bin.Console.outPrintln("URL + * (J2S.thisApplet.__Info.args = a) && (System.out.println("URL * arguments were passed to J2S main.")); */ } catch (Throwable t) -- 1.7.10.2