summaryrefslogtreecommitdiff
path: root/debian/patches/0002-startup-give-the-tasks-we-create-a-name.patch
blob: afa23dcba9e36fe5f6457fe26a362312b443013a (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
32
33
From 6b135febdb8fad613aa8856fb9f48ae8c229e7a1 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Fri, 9 Jan 2015 11:06:52 +0100
Subject: [PATCH hurd 2/5] startup: give the tasks we create a name

* startup/startup.c (run): Name the tasks we start.
---
 startup/startup.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/startup/startup.c b/startup/startup.c
index 601c894..a9373f1 100644
--- a/startup/startup.c
+++ b/startup/startup.c
@@ -33,6 +33,7 @@
 #include <sys/file.h>
 #include <unistd.h>
 #include <string.h>
+#include <mach/gnumach.h>
 #include <mach/notify.h>
 #include <stdlib.h>
 #include <hurd/msg.h>
@@ -376,6 +377,7 @@ run (const char *server, mach_port_t *ports, task_t *task)
 	      printf ("Pausing for %s\n", prog);
 	      getchar ();
 	    }
+          task_set_name (task, (char *) prog);
 	  err = file_exec (file, *task, 0,
 			   (char *)prog, strlen (prog) + 1, /* Args.  */
 			   startup_envz, startup_envz_len,
-- 
2.1.4