Changes in kernel/generic/src/syscall/syscall.c [5bcf1f9:8add9ca5] in mainline

File:

• kernel/generic/src/syscall/syscall.c (modified) (2 diffs)

kernel/generic/src/syscall/syscall.c

@@ -86 +86 @@
         } else {
                 printf("Task %" PRIu64": Unknown syscall %#" PRIxn, TASK->taskid, id);
-                task_kill_self(true);
+                task_kill(TASK->taskid);
+                thread_exit();
         }
         
@@ -130 +131 @@
         (syshandler_t) sys_task_set_name,
         (syshandler_t) sys_task_kill,
-        (syshandler_t) sys_task_exit,
         (syshandler_t) sys_program_spawn_loader,