debug_query

diff --git a/manifold/js/manifold.js b/manifold/js/manifold.js
index 34b9fa8..4508a9e 100644 (file)
--- 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