@verb #14:"_kill_task_message" this none this rxdo #55
@program #14:"_kill_task_message" this none this
"Copied from Generic Programming student&&Etudiant d'informatique generique (#3924):_kill_task_message by Sleeping_Beauty (#2) Sat Jul  1 04:36:18 1995 EDT"
player == this || raise(E_PERM)
set_task_perms(caller_perms())
{task, stack} = args
player:notify(tostr("Killed: ", $string_utils:right(tostr("task ", task[1]), 17), ", verb ", task[6], ":", task[7], ", line ", task[8], task[9] != task[6] ? ", this==" + tostr(task[9]) | ""))
originalplayer = stack[$][5]
if (originalplayer != player)
  "Make sure that the original player knows his task has been killed."
  originalplayer:sub_tell("%T kills task %1.", task[1])
endif
"Last modified by Dax (#789) on Mon Jun 16 13:24:42 2003 MDT."
.