diff options
Diffstat (limited to 'src/kernel/proc.c')
| -rw-r--r-- | src/kernel/proc.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/kernel/proc.c b/src/kernel/proc.c index 39f9e1f..838d520 100644 --- a/src/kernel/proc.c +++ b/src/kernel/proc.c @@ -288,6 +288,8 @@ void process_kill(struct process *p, int ret) { * * we also reparent it to process_deadparent because we don't want * dead processes to have any alive children */ + /* TODO: because requests are no longer owned by the parent, we can safely kill it. + * this whole deathbed thing (and, by extension, freeing after killing) is unnecessary */ // TODO process_reparent? p->deathbed = true; process_forget(p); |