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 49175
- From: Lawrence Velázquez <larryv@xxxxxxx>
- To: zsh-workers@xxxxxxx
- Subject: Re: $PPID not updated when the PPID changes (parent killed)
- Date: Sun, 18 Jul 2021 19:10:06 -0400
- Archived-at: <https://zsh.org/workers/49175>
- In-reply-to: <CAH+w=7ZXFzko8gvJFnpp0PmvhkD+TFL+tTjmYSuHvoeTHc+k0Q@mail.gmail.com>
- List-id: <zsh-workers.zsh.org>
- References: <20210516152418.GA39669@zira.vinc17.org> <CAH+w=7a3y6MjrPQWnPc1O0ESroLesZXwaQ-_AxJB5XRk7xDj2Q@mail.gmail.com> <20210517202608.GA3255290@zira.vinc17.org> <CAH+w=7bhsp71vazSJ_9Un1btb4mrxBgUciUg4zfGv15LeUfT1g@mail.gmail.com> <YKLttAsFd4bl9waS@fullerene.field.pennock-tech.net> <CAH+w=7bywj1X1fyPLgpmo_OoqBEN8PjEDxDeKP-tMR_O4g04tg@mail.gmail.com> <20210518081520.GA3332066@zira.vinc17.org> <CAH+w=7Y449A49SpWUvRfGQ0_0njfAy9KR=NGKKhL+Eh3ats1Gw@mail.gmail.com> <CAH+w=7ZXFzko8gvJFnpp0PmvhkD+TFL+tTjmYSuHvoeTHc+k0Q@mail.gmail.com>
On Wed, May 19, 2021, at 12:25 AM, Bart Schaefer wrote:
> So ... hopefully the attached patch addresses the assorted issues raised.
>
> Attachments:
> * PPID.txt
Anyone else have feedback on this (48888), or is it ready to go?
--
vq
Messages sorted by:
Reverse Date,
Date,
Thread,
Author