Method code for $scheduler.remove_first_task()

[Turn off line numbering]
  1: // sender must be an agent, or admin.
  2: catch any {
  3:     .del_from_task_queue(1);
  4: } with {
  5:     // $sys.log(traceback());
  6: }
  7: if (!task_queue)
  8:     task_index = 1;

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

Tlon