> > IMHO the truly desireable behavior is to distinguish real SIGKILL (userland > > kill, oom_kill) from "normal" group-exit. > > Yes. We already discussed this and I agree. I _think_ it is not hard to > implement, but (again) I'd suggest to do this later.
Agreed. (I think I just said that this is not for now.) Thanks, Roland