K 10 svn:author V 5 wpaul K 8 svn:date V 27 2003-12-25T21:34:16.000000Z K 7 svn:log V 121 Give the timer API one last overhaul: this time, use the new callout API instead of the old timeout/untimeout mechanism. END