Added microsecond to formatTime
|Reported by:||wangchun||Owned by:||exarkun|
(diff, github, buildbot, log)
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)
Changed 7 years ago by wangchun
comment:4 Changed 7 years ago by exarkun
- Summary changed from Fixed bug that log.py incorrectly handles UTC-00:30; Added microsecond to formatTime to Added microsecond to formatTime