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

[STINNER Victor]

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

> NtSetTimerResolution is a system-wide change, and may have impact on other running applications.  It may be an option to set it during the execution of profile.run() for example, but I would not enable it just to call time.clock().

I was not proposing to call, but it was trying to say that under
certain circumstances, you may have a better resolution than 15 ms.
Python should not limit the resolution if the OS provides a better
resolution.

----------

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