<font face="courier new,monospace"><br></font><br><div class="gmail_quote">On Thu, Nov 28, 2013 at 11:46 AM, Marc Lehmann <span dir="ltr"><<a href="mailto:schmorp@schmorp.de" target="_blank">schmorp@schmorp.de</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Thu, Nov 28, 2013 at 10:30:41AM -0500, Fulko Hew <<a href="mailto:fulko.hew@gmail.com">fulko.hew@gmail.com</a>> wrote:<br>


> How can I find out something about the timer?<br>
<br>
</div>You can't - as far as AnyEvent is concerned, the watchers are mostly<br>
opaque data types (they are copyable, but little else).<br>
<div class="im"><br>
> Either when it was started, how much time has elapsed,<br>
> or how much time is remaining?<br>
<br>
</div>You have to do this manually. For example:<br></blockquote><div><br>... snip ...<br><br>Thanks. <br>That is what I was afraid of.<br>And your suggestion was the approach I already started to pursue (while awaiting a response).<br>

[Perhaps it would be a good feature to add.]<br> <br></div></div><br>