Userland Radio: removing the timestamp from the htmlMacroErrors log my browser window is at least this wide
Locations of visitors to this page

find on this site
be notified of website changes?

lawyers!

 

Frontier

Using Frontier

Extending Frontier

adding favicons

migrating websites

Using CSS

Fixing Radio 8.1

Fixing Frontier 5

nextPrev broken

err log sans timestamp

temperature conversion

our WebRing

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

Userland Radio: removing the timestamp from the htmlMacroErrors log

Saturday 16 April 2005

One of the recurring vexations in using Userland Frontier and Radio is the timestamp added to the event logs. For my purposes it's unnecessary. (I use these applications like a web-site-savvy word processor. If there's an error I see it now, I fix it now, and I re-render the page now. The timestamp just makes looking through the logs just that much more annoying.

a log with timestamp

So here's how I fix it.

It's a simple one-line change in system.verbs.builtins.log.add. Select the line highlighted in the following image and do an Outline / Toggle Comment. Then hit the Compile button.

builtins.log.add fixed

That's it! Now all log entries will be added without timestamps. If you wanted to change it only for the htmlMacroErrors then you'll have to dig a bit deeper than I did.

I hope this helps.

This page is part of the Userland Frontier WebRing. webring List all this webring's pages; visit another page; add your page to this webring.

Have you found errors nontrivial or marginal, factual, analytical and illogical, arithmetical, temporal, or even typographical? Please let me know; drop me email. Thanks!
 

What's New?  |  Kilts! Kilts! Kilts!  |  Travel  |  Burning Man
Search  |  Site Map  |  Macintosh  |  San Francisco  |  Technology  |  CU-SeeMe
This page is copyrighted 1993-2006 by Michael 'Mickey' Sattler, some rights reserved via the Creative Commons License. Questions and comments? Send email to the Geek Times Webmaster. (Domain and web content hosting at 1and1.)