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. /Jakob