Cache JS adds search of Info for jalview_xxx properties
[jalview.git] / src / jalview / util / Platform.java
index 118269a..d80e3de 100644 (file)
@@ -415,6 +415,8 @@ public class Platform
      *            if (key.indexOf(prefix) == 0) { value = "" + info[key];
      */
 
+    System.out.println(
+            "Platform id=" + id + " reading Info." + key + " = " + value);
     p.put(id + "_" + key, value);
 
     /**