Added microsecond to formatTime
|Reported by:||wangchun||Owned by:||Jean-Paul Calderone|
|Cc:||Jean-Paul Calderone, zseil||Branch:||
branch-diff, diff-cov, branch-cov, buildbot
The current formatTime implementation cannot format some time zone string correctly.
For busy servers, timestamp with microsecond is useful to administrators understand what was happened from log files.
Currently, user cannot give format string to reproduce the default format. We should make the time format more flexible and customizable by the user. Any ideas?
Change History (17)
comment:4 Changed 8 years ago by
|Summary:||Fixed bug that log.py incorrectly handles UTC-00:30; Added microsecond to formatTime → Added microsecond to formatTime|