]> git.tue.mpg.de Git - paraslash.git/commit
ungegister_task(): Set task error value to -E_TASK_KILLED.
authorAndre Noll <maan@systemlinux.org>
Mon, 31 Mar 2008 11:11:46 +0000 (13:11 +0200)
committerAndre Noll <maan@systemlinux.org>
Mon, 31 Mar 2008 11:11:46 +0000 (13:11 +0200)
commitbcd7e2c158de891fc1aea06c5783760ab94749e8
treee12d652a6ffd3323611409c9ac59e429b6ae7920
parent335730538150250f32c0df0b184fb494e2bb0df3
ungegister_task(): Set task error value to -E_TASK_KILLED.

This way, one can be sure that a negative value in t->error means
this task will not be scheduled again.
sched.c