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