diff options
Diffstat (limited to 'debian/patches/0003-startup-give-the-tasks-we-create-a-name.patch')
| -rw-r--r-- | debian/patches/0003-startup-give-the-tasks-we-create-a-name.patch | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/debian/patches/0003-startup-give-the-tasks-we-create-a-name.patch b/debian/patches/0003-startup-give-the-tasks-we-create-a-name.patch new file mode 100644 index 00000000..476e2d3d --- /dev/null +++ b/debian/patches/0003-startup-give-the-tasks-we-create-a-name.patch @@ -0,0 +1,33 @@ +From cb6cff012f365b95683e6da54cfdf16e035e66b5 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 03/11] 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 + |