diff options
Diffstat (limited to 'debian/patches/0001-kern-inherit-the-name-of-the-parent-task.patch')
-rw-r--r-- | debian/patches/0001-kern-inherit-the-name-of-the-parent-task.patch | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/debian/patches/0001-kern-inherit-the-name-of-the-parent-task.patch b/debian/patches/0001-kern-inherit-the-name-of-the-parent-task.patch new file mode 100644 index 0000000..af19f8e --- /dev/null +++ b/debian/patches/0001-kern-inherit-the-name-of-the-parent-task.patch @@ -0,0 +1,31 @@ +From b773f3178daa7d24e4db6c3acf87a3772f96d12f Mon Sep 17 00:00:00 2001 +From: Justus Winter <4winter@informatik.uni-hamburg.de> +Date: Thu, 16 Oct 2014 18:13:39 +0200 +Subject: [PATCH gnumach] kern: inherit the name of the parent task + +* kern/task.c (task_create): Inherit the name of the parent task. +--- + kern/task.c | 7 ++++++- + 1 file changed, 6 insertions(+), 1 deletion(-) + +diff --git a/kern/task.c b/kern/task.c +index 20acc6a..954e889 100644 +--- a/kern/task.c ++++ b/kern/task.c +@@ -167,7 +167,12 @@ kern_return_t task_create( + } + #endif /* FAST_TAS */ + +- snprintf (new_task->name, sizeof new_task->name, "%p", new_task); ++ if (parent_task == TASK_NULL) ++ snprintf (new_task->name, sizeof new_task->name, "%p", ++ new_task); ++ else ++ snprintf (new_task->name, sizeof new_task->name, "(%*s)", ++ sizeof new_task->name - 3, parent_task->name); + + ipc_task_enable(new_task); + +-- +2.1.1 + |