Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

Re: $PPID not updated when the PPID changes (parent killed)

X-seq: zsh-workers 48865
From: Vincent Lefevre <vincent@xxxxxxxxxx>
To: zsh-workers@xxxxxxx
Subject: Re: $PPID not updated when the PPID changes (parent killed)
Date: Mon, 17 May 2021 22:26:08 +0200
Archived-at: <https://zsh.org/workers/48865>
In-reply-to: <CAH+w=7a3y6MjrPQWnPc1O0ESroLesZXwaQ-_AxJB5XRk7xDj2Q@mail.gmail.com>
List-id: <zsh-workers.zsh.org>
Mail-followup-to: zsh-workers@xxxxxxx
References: <20210516152418.GA39669@zira.vinc17.org> <CAH+w=7a3y6MjrPQWnPc1O0ESroLesZXwaQ-_AxJB5XRk7xDj2Q@mail.gmail.com>

On 2021-05-16 11:37:15 -0700, Bart Schaefer wrote:
> On Sun, May 16, 2021 at 8:24 AM Vincent Lefevre <vincent@xxxxxxxxxx> wrote:
> >
> > i.e. $PPID is not updated when the PPID changes, i.e. the parent
> > process is killed.
> 
> $PPID means the ID of the process that spawned this one, not the
> current value of getppid().

OK, then I think that this should be clarified in the man pages.

-- 
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)

Follow-Ups:
- Re: $PPID not updated when the PPID changes (parent killed)
  - From: Bart Schaefer

References:
- $PPID not updated when the PPID changes (parent killed)
  - From: Vincent Lefevre
- Re: $PPID not updated when the PPID changes (parent killed)
  - From: Bart Schaefer

Messages sorted by: Reverse Date, Date, Thread, Author