STINNER Victor <victor.stin...@haypocalc.com> added the comment: 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. ---------- Added file: http://bugs.python.org/file24331/time_decimal-3.patch _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue13882> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
