[Ur] naughtyDebug

[Adam Chlipala]

Gergely Buday wrote:
> I use naughtyDebug in client code, and it is run since the value I
> compute with it appears on the page. Still, the debug message does not
> appear in the server log. Is it a mistake to use naughtyDebug in
> client code?
>    

Run client-side, this function writes to the web browser's debug 
console, or it uses alert() if no debug console is found.  If you're not 
seeing alerts, it must be doing the former.