Method code for $scheduler.del_from_task_queue()

[Turn off line numbering]

---

  1: arg i;
  2: 
  3: refresh();
  4: 
  5: // this must *not* throw
  6: task_queue = $heap.del(task_queue, i, 2);

---

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