[issue13845] Use GetSystemTimeAsFileTime() to get a resolution of 100 ns on Windows

[STINNER Victor]

STINNER Victor <victor.stinner at haypocalc.com> added the comment:

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!

----------

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue13845>
_______________________________________