C.18. $world->distimer

Abstract

$world->distimer function: DISables a TIMER

void $world->distimer( name/number ,
  ... );
 

Disables the timer identified by number or name. If there are several timers with the same name, disables them all. Several arguments can be passed at once.