Message203940
I thought that using utime(..., None) would be better, but it's actually much worse: it calls GetSystemTime, which only has millisecond precision, while time.time() calls GetSystemTimeAsFileTime which has better precision.
(this is probably a bug in utime()) |
|
Date |
User |
Action |
Args |
2013-11-23 01:08:52 | pitrou | set | recipients:
+ pitrou, tim.peters, loewis, tim.golden, jkloth, brian.curtin, python-dev, steve.dower |
2013-11-23 01:08:52 | pitrou | set | messageid: <1385168932.29.0.689576530495.issue19715@psf.upfronthosting.co.za> |
2013-11-23 01:08:52 | pitrou | link | issue19715 messages |
2013-11-23 01:08:52 | pitrou | create | |
|