New submission from Antoine Pitrou:
For whoever is interested: Windows 8 apparently has a new API named
GetSystemTimePreciseAsFileTime which returns the system API with a much better
resolution than GetSystemTimeAsFileTime does ("The
GetSystemTimePreciseAsFileTime function retrieves the current system date and
time with the highest possible level of precision (<1us)").
http://msdn.microsoft.com/en-us/library/windows/desktop/hh706895%28v=vs.85%29.aspx
(spawned from this topic on the tulip mailing-list:
https://groups.google.com/forum/#!topic/python-tulip/vX9vOZB1FOI )
----------
components: Library (Lib), Windows
messages: 197538
nosy: belopolsky, haypo, lemburg, pitrou, tim.peters
priority: low
severity: normal
status: open
title: precise time.time() under Windows 8
type: enhancement
versions: Python 3.4
_______________________________________
Python tracker <rep...@bugs.python.org>
<http://bugs.python.org/issue19007>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe:
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
