From 3d660052d66622debddaa241fad9d6a7c3253ff6 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 3 Dec 2011 16:25:09 -0500
Subject: Change client-side debug to use console.debug

---
 lib/js/urweb.js | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'lib/js')

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;
-- 
cgit v1.2.3