Message152035
Windows code (win32_clock) was wrong in time_decimal-2.patch: it is fixed in patch version 3.
Some tests on Windows made me realize that time.time() has a resolution of 1 millisecond (10^-3) and not of a microsecond (10^-6) on Windows! It is time to use GetSystemTimeAsFileTime! => see issue #13845. |
|
Date |
User |
Action |
Args |
2012-01-26 21:50:15 | vstinner | set | recipients:
+ vstinner, loewis, belopolsky |
2012-01-26 21:50:14 | vstinner | set | messageid: <1327614614.37.0.0767277731871.issue13882@psf.upfronthosting.co.za> |
2012-01-26 21:50:13 | vstinner | link | issue13882 messages |
2012-01-26 21:50:13 | vstinner | create | |
|