C.19.  $world->distrigger

Abstract

$world->distrigger function: DISables a TRIGGER

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

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