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.

diff --git a/sched.c b/sched.c
index 5f7babe7a6f6ec98838d3d558a630b89e6d0a1b2..2500406005614dc3850a283e37057cc844608ac3 100644 (file)
--- a/sched.c
+++ b/sched.c
@@ -236,7 +236,6 @@ int kill_task(char *id)
                if (strcmp(id, buf))
                        continue;
                t->error = -E_TASK_KILLED;
-               unregister_task(t);
                return 1;
        }
        list_for_each_entry_safe(t, tmp, &post_select_list, post_select_node) {
@@ -244,7 +243,6 @@ int kill_task(char *id)
                if (strcmp(id, buf))
                        continue;
                t->error = -E_TASK_KILLED;
-               unregister_task(t);
                return 1;
        }
        return -E_NO_SUCH_TASK;