<div class="gmail_quote">On Tue, Nov 2, 2010 at 14:21, Rob Cliffe <span dir="ltr"><<a href="mailto:rob.cliffe@btinternet.com">rob.cliffe@btinternet.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div><div></div><div class="h5">On 02/11/2010 15:35, Antoine Pitrou wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
On Tue, 2 Nov 2010 16:02:47 +0100<br>
spir<<a href="mailto:denis.spir@gmail.com" target="_blank">denis.spir@gmail.com</a>>  wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Imo, "timer" is exactly the proper term<br>
</blockquote>
I'm not sure it's the proper term. A timer is often a countdown with a<br>
callback. See for example threading.Timer and signal.setitimer.<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
the issue due to proximity with "time" is real, but far less<br>
important.<br>
</blockquote>
I think it would be too easy to use one instead of the other, and get<br>
strange semantics (both count in seconds but with slightly different<br>
characteristic).<br>
<br>
Regards<br>
<br>
Antoine.<br>
<br>
<br>
_______________________________________________<br>
Python-ideas mailing list<br>
<a href="mailto:Python-ideas@python.org" target="_blank">Python-ideas@python.org</a><br>
<a href="http://mail.python.org/mailman/listinfo/python-ideas" target="_blank">http://mail.python.org/mailman/listinfo/python-ideas</a><br>
<br>
</blockquote></div></div>
Well, how about "clock"?<br>
"time.clock()" seems quite evocative to me.<br>
Best wishes<br><font color="#888888">
Rob Cliffe</font></blockquote><div><br></div><div>time.clock is already a part of the problem. </div></div>