We use this function each time we want to stop a busy timer instance, release it and disconnet the interrupt line. As you see it simplifies code writing by grouping all these tasks.
timer.cancel()
timer: a variable of type Timers_Class .
Corrections, suggestions, and new documentation can be added directly to the wiki page. Scroll to the bottom, choose "Edit Page" and use "Papilio" as the password.