os.times values under Windows

[python at bdurham.com]

Python 2.6 under Windows: are the two non-zero values returned by
this function of any practical use? The documentation [1] is
vague and points to the Windows Platform API which I'm not sure
maps 1:1 to the help description.

In looking at the values returned on my system (Windows 7,
64-bit), I wonder if the documentation is correct because it
looks like the values for user and system time might be reversed?

>>> import os
>>> os.times()
(2465.0030011999997, 132.4292489, 0.0, 0.0, 0.0)
>>> help(os.times)
Help on built-in function times in module nt:
times(...)
    times() -> (utime, stime, cutime, cstime, elapsed_time)

    Return a tuple of floating point numbers indicating process
times.

Thanks,
Malcolm

[1] http://docs.python.org/library/os.html
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-list/attachments/20100716/1be63e46/attachment.html>