diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-01-09 11:06:52 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-01-17 18:24:58 +0100 |
| commit | 361c586e263ebf4a0531045029c3cf076dbcb847 (patch) | |
| tree | ae9c7eda029ee06cf7fd2f2536b0f15356e8b4c6 /startup | |
| parent | 1901e7aa92ccd021d73f32aa97661428d7142cd4 (diff) | |
startup: give the tasks we create a name
* startup/startup.c (run): Name the tasks we start.
Diffstat (limited to 'startup')
| -rw-r--r-- | startup/startup.c | 2 |
1 files changed, 2 insertions, 0 deletions
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, |