From bcd7e2c158de891fc1aea06c5783760ab94749e8 Mon Sep 17 00:00:00 2001 From: Andre Noll Date: Mon, 31 Mar 2008 13:11:46 +0200 Subject: [PATCH] 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 | 2 ++ 1 file changed, 2 insertions(+) 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; }; -- 2.39.5