summaryrefslogtreecommitdiff
path: root/startup
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-07-12 14:46:50 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-07-14 20:23:00 +0200
commit827915ca4a4d61ae5b50596e46f5aaf7d402a2c0 (patch)
tree1595a8aff7c9614225573c44bcb9f81a893a3649 /startup
parentbe0a34cf05c1bcbb119d91a74be44ee837861426 (diff)
exec: fix setting the name of early servers
Previously, the exec server did not set the name of the servers started before the proc server. Instead this was done by the startup server, but this was merely a workaround, missing notably the startup server itself. * exec/exec.c (set_name): New function. (do_exec): Move the code setting the name to a new function, and also call it if the proc server is not started yet. * startup/startup.c (run): Drop hack.
Diffstat (limited to 'startup')
-rw-r--r--startup/startup.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/startup/startup.c b/startup/startup.c
index da78b13e..e916768e 100644
--- a/startup/startup.c
+++ b/startup/startup.c
@@ -377,7 +377,6 @@ 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,