Max Horn 768852d010 Modified version of Torbjoern's patch from bug #1640420 (fixes an overflow in the default timer manager) ...

svn-id: r25165

2007-01-24 22:56:57 +00:00

..

default-timer.cpp

Modified version of Torbjoern's patch from bug #1640420 (fixes an overflow in the default timer manager)

2007-01-24 22:56:57 +00:00

default-timer.h

Rewrote the DefaultTimerManager to use a priority queue instead of a fixed size slot array (semantics of timers changed slightly due to this in lag situations)

2006-10-25 23:25:19 +00:00