[Python-ideas] time.wallclock() or other similar stuff

Tue Nov 2 14:21:18 CET 2010

On 2 November 2010 11:35, Antoine Pitrou <solipsis at pitrou.net> wrote:
> On 2010年11月02日 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.
Regards
Floris
-- 
Debian GNU/Linux -- The Power of Freedom
www.debian.org | www.gnu.org | www.kernel.org