Change client-side debug to use console.debug

1 files changed, 10 insertions, 0 deletions

diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 854ebe45..5f1566a3 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -338,6 +338,16 @@ function strftime(fmt, thisTime)
 
 // Error handling
 
+function uw_debug(msg) {
+    try {
+        console.debug(msg);
+    } catch (e) {
+        alert("DEBUG: " + msg);
+    }
+
+    return 0;
+}
+
 function whine(msg) {
     alert(msg);
     throw msg;