[Python-ideas] time.wallclock() or other similar stuff
flub at devork.be
Tue Nov 2 14:21:18 CET 2010
On 2 November 2010 11:35, Antoine Pitrou <solipsis at pitrou.net> wrote:
> On Tue, 02 Nov 2010 12:50:57 +1100
> Steven D'Aprano <steve at pearwood.info> wrote:
>> +1 on a platform-dependent alias to time() or clock()
>> +1 on calling it "timer"
> "time.timer()" is much too close to "time.time()".
I'd agree with this. I'm actually +1 on the original
time.wallclock(), wall time is a common concept, so having the word
"wall" in it's api seems very natural to me. .walltime() would
probably work as well.
Debian GNU/Linux -- The Power of Freedom
www.debian.org | www.gnu.org | www.kernel.org
More information about the Python-ideas