I did a little search in this forum, and didn't find anything, so:
Could it be possible to add an option to $asctime (and thusly allowing timestamps to have these options) a $ticks, or milliseconds to the Nth, place?
(i.e. $asctime(HH:nn:ss:MM) or MMM, MMMM, etc) I've scripted my version with a $tstamp alias,
tstamp return $asctime({mmddyy¦HH:nn:ss) $+ : $+ $right($ticks,4) $+ $chr(125) : and replaced all my echo -*t or $timestamp's with $tstamp to output:
{070506¦09:43:04:9571}. I'm not sure how many other users out there would need it, but it might be useful.
