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

[Floris Bruynooghe]

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.

Regards
Floris


-- 
Debian GNU/Linux -- The Power of Freedom
www.debian.org | www.gnu.org | www.kernel.org