From: Andre Noll Date: Mon, 31 Mar 2008 11:11:46 +0000 (+0200) Subject: ungegister_task(): Set task error value to -E_TASK_KILLED. X-Git-Tag: v0.3.2~49 X-Git-Url: http://git.tue.mpg.de/?a=commitdiff_plain;h=bcd7e2c158de891fc1aea06c5783760ab94749e8;p=paraslash.git 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. --- diff --git a/sched.c b/sched.c index 9976a11d..90df5933 100644 --- a/sched.c +++ b/sched.c @@ -41,6 +41,8 @@ void unregister_task(struct task *t) list_del(&t->pre_select_node); if (t->post_select) list_del(&t->post_select_node); + if (t->error >= 0) + t->error = -E_TASK_KILLED; };