comparison lib/js/urweb.js @ 1625:bd34a4af516a

Change client-side debug to use console.debug
author Adam Chlipala <adam@chlipala.net>
date Sat, 03 Dec 2011 16:25:09 -0500
parents f96e708b4b93
children 438561303d02
comparison
equal deleted inserted replaced
1624:f96e708b4b93 1625:bd34a4af516a
336 }; 336 };
337 337
338 338
339 // Error handling 339 // Error handling
340 340
341 function uw_debug(msg) {
342 try {
343 console.debug(msg);
344 } catch (e) {
345 alert("DEBUG: " + msg);
346 }
347
348 return 0;
349 }
350
341 function whine(msg) { 351 function whine(msg) {
342 alert(msg); 352 alert(msg);
343 throw msg; 353 throw msg;
344 } 354 }
345 355