On Sat, Mar 31, 2012 at 02:26, Steven D'Aprano <steve at 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
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4