Method code for $scheduler.del_from_task_queue()

[Turn on line numbering]

---

arg i;

refresh();

// this must *not* throw
task_queue = $heap.del(task_queue, i, 2);

---

// Miroslav Silovic
// Created 05-Sep-1995 as a part of ColdCore, see: @help Credit