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 9976a11d2aa315f78ff88072c0a27d84ed35e58d..90df5933689c377ad2c570e36bb340eda74e9dae 100644 (file)
--- 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;
 };