summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-12-03 16:25:09 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-12-03 16:25:09 -0500
commit3d660052d66622debddaa241fad9d6a7c3253ff6 (patch)
treec0b8d2ceca6075af7791f2bedd5a503866642d19 /lib
parent84087a5652e9f616fdf135c6d0da7ddc33d0edfc (diff)
Change client-side debug to use console.debug
Diffstat (limited to 'lib')
-rw-r--r--lib/js/urweb.js10
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;