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

[STINNER Victor]

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

Oops, my first patch contains an unrelated change for Windows.

New patch fixes this bug, and change time_clock() to reuse time_time() if time_clock() fails to get the CPU frequency (unlikely) because it has a better resolution than clock().

----------
Added file: http://bugs.python.org/file24306/timespec-2.patch

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