diff shterm.js @ 26:9b58f8d3ea70

rlgwebd.js: add timestamps to log messages. Wrap console.log() with the tslog() function, which prepends timestamps. Clean up some of the messages as well.
author John "Elwin" Edwards <elwin@sdf.org>
date Mon, 04 Jun 2012 10:19:36 -0700
parents 155f3c104759
children 7a50b4412fea
line wrap: on
line diff