B.18. $world->distrigger

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

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.