Message152036
Using the patch of #13882, I realize that time.time() has a resolution of 1 millisecond (10^-3) and not of a microsecond (10^-6) on Windows! Windows doesn't provide gettimeofday(). Using GetSystemTimeAsFileTime() would provide a much better resolution! |
|
Date |
User |
Action |
Args |
2012-01-26 21:51:21 | vstinner | set | recipients:
+ vstinner, amaury.forgeotdarc, belopolsky, rosslagerwall |
2012-01-26 21:51:21 | vstinner | set | messageid: <1327614681.59.0.710595649518.issue13845@psf.upfronthosting.co.za> |
2012-01-26 21:51:21 | vstinner | link | issue13845 messages |
2012-01-26 21:51:20 | vstinner | create | |
|