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 522370cfcd2dde29dac73e1479d64a6af614cc25 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 02/10] 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..c9fe215 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
|
