pub fn end(pid: u32)Expand description
Ends every process of the session pid leads, then its process group.
Called before reaping pid or soon after: while any member lives the id
is no other session’s, and once none does there is nothing to end (pids
are handed out in sequence, so another session with it is far off).