Method code for $scheduler.resume()

[Turn off line numbering]
  1: arg task_id, @return_value;
  2: var objs;
  3: 
  4: if ((objs = (| suspended_tasks[task_id] |))) {
  5:     if (!(sender() in objs) && !$sys.is_system(sender()))
  6:         throw(~perm, sender() + " may not resume task " + task_id);
  7:     suspended_tasks = dict_del(suspended_tasks, task_id);
  8: }
  9: return (> resume(task_id, @return_value) <);

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

Tlon