summaryrefslogtreecommitdiff
path: root/debian/patches/0001-kern-inherit-the-name-of-the-parent-task.patch
blob: cdf659fe7431142a0433eb953823dfa523385b57 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
From fe820bd2e22e5a0b5aa5bd50de3b06759e42af78 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 a11fb8e..57e7f41 100644
--- a/kern/task.c
+++ b/kern/task.c
@@ -171,7 +171,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);
 
 	if (new_task_notification != NULL) {
 		task_reference (new_task);
-- 
2.1.4