In article <mailman.998259031.17203.python-list at python.org>, "Tim Peters" <tim.one at home.com> writes: | The Python profiler is written in Python, and uses Python's | time.clock() mouldn't it be better to use something with a little more resolution on non-win32 platforms, like gettimeofday() ? -- erno