消息 [152035]
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. |
|
| 日期 |
用户 |
动作 |
参数 |
| 2012-01-26 21:50:15 | vstinner | 修改 | recipients:
+ vstinner, loewis, belopolsky |
| 2012-01-26 21:50:14 | vstinner | 修改 | messageid: <1327614614.37.0.0767277731871.issue13882@psf.upfronthosting.co.za> |
| 2012-01-26 21:50:13 | vstinner | 链接 | issue13882 messages |
| 2012-01-26 21:50:13 | vstinner | 创建 | |
|