diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-07-12 14:46:50 +0200 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-07-14 20:23:00 +0200 |
| commit | 827915ca4a4d61ae5b50596e46f5aaf7d402a2c0 (patch) | |
| tree | 1595a8aff7c9614225573c44bcb9f81a893a3649 /defpager/backing.c | |
| parent | be0a34cf05c1bcbb119d91a74be44ee837861426 (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 'defpager/backing.c')
0 files changed, 0 insertions, 0 deletions