From 361c586e263ebf4a0531045029c3cf076dbcb847 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: 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(+)

(limited to 'startup')

diff --git a/startup/startup.c b/startup/startup.c
index 601c8946..c9fe215a 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,
-- 
cgit v1.2.3