X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=manifold%2Fjs%2Fmanifold.js;h=763b242ee416eff88825fbf795519c656b8bea27;hb=ad6ebdd21b0be23a246af3817c886637491ee23f;hp=4508a9eef14be54084511aa031788ddb604e6d39;hpb=78d95d4c4be4e47fce2e07f8735ae8a73daf8eb8;p=unfold.git

diff --git a/manifold/js/manifold.js b/manifold/js/manifold.js
index 4508a9ee..763b242e 100644
--- a/manifold/js/manifold.js
+++ b/manifold/js/manifold.js
@@ -1,8 +1,11 @@
 // utilities 
-function debug_dict (msg, o) {
+function debug_dict_keys (msg, o) {
     var keys=[];
     for (var k in o) keys.push(k);
-    console.log ("debug_dict: " + msg + " keys= " + keys);
+    console.log ("debug_dict_keys: " + msg + " keys= " + keys);
+}
+function debug_dict (msg, o) {
+    for (var k in o) console.log ("debug_dict_keys: " + msg + " [" + k + "]=" + o[k]);
 }
 function debug_value (msg, value) {
     console.log ("debug_value: " + msg + " " + value);
@@ -53,7 +56,7 @@ var manifold = {
 	    var query=manifold.find_query(tuple.query_uuid);
 	    var hash=query.to_hash();
 	    if (manifold.asynchroneous_debug) 
-		console.log ("sending POST on " + manifold.proxy_url + " iterating on " + tuple.query_uuid + " -> " + hash);
+		console.log ("sending POST on " + manifold.proxy_url + " with query= " + query.__repr(query));
             jQuery.post(manifold.proxy_url, {'query': hash}, success_closure(query, tuple.id));
 	})
 	    },