On 2/9/06, Jakob Cederlund <jakob@REDACTED> wrote: > The current behaviour of driver_set_timer() is indeed a bug, and will be > corrected, hopefully in the next release of R10. It will be fixed to > work as described in the documentation. Thank you! -- Rich AIM : rnezzy ICQ : 174908475