[Turn off line numbering]1: arg c, timeout; 2: var task; 3: 4: task = (| timeouts[task_id()] |); 5: if (task) 6: (| $scheduler.del_task(task) |); 7: if (timeout) { 8: task = $scheduler.add_task(timeout, 'timeout, [c]); 9: timeouts = dict_add(timeouts || #[], task_id(), task); 10: } else if (dict_contains(timeouts || #[], task_id())) { 11: timeouts = dict_del(timeouts, task_id()); 12: }
// Created 13-Oct-1996 as a part of ColdCore, see: @help Credit