Message162332
> I'm closing again this issue.
>
> @neologix: Please open a new issue if you disagree with me on the definition of "seconds" for time.process_time().
I won't reopen, but I still disagree with your definition.
process_time() returns second, as does the Unix 'time' command return:
"""
$ time sleep 1
real 0m1.014s
user 0m0.000s
sys 0m0.000s
"""
AFAICT, process_time() returns user + sys. Since the unit of those two
fields are second, the value returned is in second. I doesn't include
time spent in 'S'/'D'/whatever time, but it's still seconds. |
|
Date |
User |
Action |
Args |
2012-06-05 07:01:33 | neologix | set | recipients:
+ neologix, lemburg, pitrou, vstinner, Arfrever, python-dev |
2012-06-05 07:01:33 | neologix | link | issue14428 messages |
2012-06-05 07:01:32 | neologix | create | |
|