On Sun, 8 Apr 2012 07:29:30 -0700 Guido van Rossum <gu...@python.org> wrote: > > What to name it can't be decided this way, although I might put > forward time.sleeptimer().
interval_timer() ? I would suggest timer() simply, but it's too close to time(). > I personally have a need for one potentially different clock -- to > measure short intervals for benchmarks and profiling. This might be > called time.performancetimer()? It's called perf_counter() in the PEP: http://www.python.org/dev/peps/pep-0418/#deferred-api-time-perf-counter Regards Antoine. _______________________________________________ Python-Dev mailing list Python-Dev@python.org http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
