Method code for $scheduler.del_task()

[Turn off line numbering]

---

  1: arg tid;
  2: var task, n;
  3: 
  4: // sender must be system, for now.
  5: if (type(tid) != 'integer)
  6:     throw(~type, "Task Identification must be an integer");
  7: for task in (task_queue) {
  8:     n++;
  9:     if (task[1] == tid) {
 10:         sender() == task[4] && caller() == task[5] || (> .perms(sender(), 'system) <);
 11:         .del_from_task_queue(n);
 12:         return 1;
 13:     }
 14: }
 15: throw(~tasknf, "No task found by that TID");

---

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