On Sat, Mar 31, 2012 at 02:26, Steven D'Aprano <st...@pearwood.info> wrote: > Guido van Rossum wrote: >> If all else fails, I'd go with turnip. > > I can't tell if you are being serious or not. > > For the record, "turnip" in this sense is archaic slang for a thick pocket > watch.
If I understand this correctly, the most common use for this function is when to time things. It will give you the best source available for timers, but it doesn't guarantee that it is steady or monotonic or high resolution or anything. It is also not the time, as it's not reliable as a wall-clock. So, how about time.timer()? //Lennart _______________________________________________ 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
