add patch series

1 files changed, 33 insertions, 0 deletions

diff --git a/debian/patches/0002-startup-give-the-tasks-we-create-a-name.patch b/debian/patches/0002-startup-give-the-tasks-we-create-a-name.patch
new file mode 100644
index 00000000..afa23dcb
--- /dev/null
+++ b/debian/patches/0002-startup-give-the-tasks-we-create-a-name.patch
@@ -0,0 +1,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
+