STINNER Victor added the comment: > diverging discussion: Go re-read the documentation on os.times().
We don't have the same definition of the unit "seconds" :-) >>> print(os.times()); time.sleep(1); print(os.times()) (0.04, 0.01, 0.0, 0.0, 4731691.68) (0.04, 0.01, 0.0, 0.0, 4731692.68) My watch doesn't stop when I'm sleeping. See https://docs.python.org/dev/library/time.html#time.process_time See also "CPU Time" in https://www.python.org/dev/peps/pep-0418/#glossary ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue23863> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
