]> git.tue.mpg.de Git - paraslash.git/commit
kill_task(): Only set task error status.
authorAndre Noll <maan@systemlinux.org>
Tue, 1 Apr 2008 19:55:26 +0000 (21:55 +0200)
committerAndre Noll <maan@systemlinux.org>
Tue, 1 Apr 2008 19:55:26 +0000 (21:55 +0200)
commit5132ecf659d4b578dd14181c8a7de043dbc6807a
tree3d5b762b40949f140744af178e6d0f35b2431686
parent63b57e3e60923cea4e3e1808e3133789db2dc83a
kill_task(): Only set task error status.

It's not safe to call unregister_task() at this point as
this function might be called from pre_select() or post_select().
Just set the task's error value to -E_TASK_KILLED. The task
will then be unregistered on the next iteration of the
scheduler loop.
sched.c