[Tinyos-devel] Bug in timer system

[Philip Levis]

On Mar 4, 2008, at 7:54 AM, Jan Hauer wrote:

> FYI: the timer.fired() bug has been reported before
> (http://sourceforge.net/tracker/index.php? 
> func=detail&aid=1572439&group_id=28656&atid=393934)
> - and Michiel Konstapel claims that they have send a bug report to the
> mailing list some time ago also - let's fix this now !!!
>

Agreed. Part of the issue is that the author of the timer library is  
no longer actively supporting it, so it fell on the floor.

Can you validate that the suggested fix? If you do, I'll commit it  
(or you can...).

Phil