RIOT-OS/RIOT — pull request #1245 by jpfender (2014-05-27 13:41:37+00:00)
Title: core: Allow killing tasks using PID

Allows the scheduler to kill tasks other than the currently active task by using the target task's PID. sched_task_exit() has been streamlined to use sched_task_kill() with the active task's PID.