diff options
| -rw-r--r-- | debian/patches/0001-kern-inherit-the-name-of-the-parent-task.patch | 31 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 32 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 + diff --git a/debian/patches/series b/debian/patches/series index b8a9730..ef153ae 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -5,3 +5,4 @@ 70_dde.patch Add-some-padding-to-make-objects-fit-a-single-cache-.patch +0001-kern-inherit-the-name-of-the-parent-task.patch |