X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;ds=sidebyside;f=manifold%2Fjs%2Fmanifold.js;h=4508a9eef14be54084511aa031788ddb604e6d39;hb=78d95d4c4be4e47fce2e07f8735ae8a73daf8eb8;hp=3589d7eaed027700693e97245cdfd1fc83a99d98;hpb=45ea2e7ea4d6240f723cf743b9ad493ad70ceed2;p=unfold.git

diff --git a/manifold/js/manifold.js b/manifold/js/manifold.js
index 3589d7ea..4508a9ee 100644
--- a/manifold/js/manifold.js
+++ b/manifold/js/manifold.js
@@ -2,11 +2,17 @@
 function debug_dict (msg, o) {
     var keys=[];
     for (var k in o) keys.push(k);
-    console.log ("debug_dict: " + msg + " Keys : " + keys);
+    console.log ("debug_dict: " + msg + " keys= " + keys);
 }
 function debug_value (msg, value) {
     console.log ("debug_value: " + msg + " " + value);
 }
+function debug_query (msg, query) {
+    if (query === undefined) console.log ("debug_query: " + msg + " -> undefined");
+    else if (query == null) console.log ("debug_query: " + msg + " -> null");
+    else if ('query_uuid' in query) console.log ("debug_query: " + msg + " query_uuid= " + query.query_uuid);
+    else console.log ("debug_query: " + msg + " query= " + query);
+}
 
 /* ------------------------------------------------------------ */
 // this namespace holds functions for globally managing query objects