From 78d95d4c4be4e47fce2e07f8735ae8a73daf8eb8 Mon Sep 17 00:00:00 2001 From: Thierry Parmentelat Date: Wed, 20 Mar 2013 18:49:04 +0100 Subject: [PATCH] debug_query --- manifold/js/manifold.js | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/manifold/js/manifold.js b/manifold/js/manifold.js index 34b9fa8c..4508a9ee 100644 --- a/manifold/js/manifold.js +++ b/manifold/js/manifold.js @@ -7,6 +7,12 @@ function debug_dict (msg, o) { 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 -- 2.43.0