From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-3.3 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, MAILING_LIST_MULTI,RCVD_IN_DNSWL_MED,UNPARSEABLE_RELAY autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 25641 invoked from network); 17 May 2021 20:26:45 -0000 Received: from zero.zsh.org (2a02:898:31:0:48:4558:7a:7368) by inbox.vuxu.org with ESMTPUTF8; 17 May 2021 20:26:45 -0000 ARC-Seal: i=1; cv=none; a=rsa-sha256; d=zsh.org; s=rsa-20200801; t=1621283205; b=wAK9o37Vua6lTjXZqoRLb/xFYx//E7UaNS+464txEOqVMFN9t2CVfWGbMnoHcKET3BwBGx29gt 3iWea1/GEDQ1LFvSFLQTJFWsFOgftgPkkHixydoUFSWT4C6EjbaP1vo0VnFXm8kKWL+tHP2frl 72BCDdt9+TbNeonefT4ji2oFx/lKlpGcYQZmolwiNh5AgqvcmwNGqGDzWugTA8Dy37kLTOZjOh AcQDN6lCernj9dWE37KZzriKLmuX5qfdbaXEOr1N/vsJak9Ey/hPCc5LupfVEQ7sZIKtYyfzU0 PjsDGRY7kPxDfG6lsHNE40WMIFdKALGXkrEESMobSvY+rw==; ARC-Authentication-Results: i=1; zsh.org; iprev=pass (joooj.vinc17.net) smtp.remote-ip=155.133.131.76; dmarc=none header.from=vinc17.net; arc=none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed; d=zsh.org; s=rsa-20200801; t=1621283205; bh=mztZjw/xwQRzt9aZtm5Ik8uYAi4ec9StSh11ZVUf4Ns=; h=List-Archive:List-Owner:List-Post:List-Unsubscribe:List-Subscribe:List-Help: List-Id:Sender:In-Reply-To:Content-Transfer-Encoding:Content-Type: MIME-Version:References:Message-ID:Subject:To:From:Date:DKIM-Signature; b=eYM5zpbS3J9Pnb69SkcWcNMJ7tqntfR1ZxUL7mTM57QyYByhSzEmE8RlUcFO33fE3vYI9qbr1Z IZUrPH2R/nVT2s7d+raOipdAoitR2luBINgx5N1CFa2+2Pasn0OwnExXGc+wcvvWczN4KJfbEg +mWDwDNn1fbvnYLBHK9ZzU7B5n58/ZBoNsh3WbmglW2RKgC7NWzdQO8v724IEUlps3Pm1OyJGQ rfhnV4j93j7ComJG8E19d4f0iai4PrDuW31s7xmQUdtAQa8uQ4C2F9+MTFFwmFmMO/B6TqPYPj fZxrqVZBcW22RGvN5OA931xP6bl6TCsxQHwG1f9PRwF+EQ==; DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=zsh.org; s=rsa-20200801; h=List-Archive:List-Owner:List-Post:List-Unsubscribe: List-Subscribe:List-Help:List-Id:Sender:In-Reply-To:Content-Transfer-Encoding :Content-Type:MIME-Version:References:Message-ID:Subject:To:From:Date: Reply-To:Cc:Content-ID:Content-Description:Resent-Date:Resent-From: Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID; bh=vZtBbfY2CT1UzxAaGC6LmaFWgn4VjR83PBzcb4y15so=; b=gq/8zhHI1FQHXx2Fh1vl+UqAWt qHOPW7kWS2LTWOT5Rd23tc2PrWM6VghO+WjPc9jqYj055cRl1HKySzAXURLklXLvy7YnrcqxvLXcR BLox9lIdA/8I6y8fECyj4e13g/gSkiXzKSlA7KdEIkQW/c3y/o/u4pHbv0nmJmaeQEB9D2LyQJmZJ nweN8nUpzxl7PTHRGJpAtkxyNSUqRpRiFDMpBGBnUK1443JoJ0fKn9VgE70nfTUUirypuAu7FE9TZ EytZqNY6CDnOue83mzaOIMSWH9ptUTnYjxePOA1soksYtl3cat0WQnz2QAZsyodm7NC9QC31CR943 Cu4ebbBg==; Received: from authenticated user by zero.zsh.org with local id 1lijp5-0004fZ-Nz; Mon, 17 May 2021 20:26:43 +0000 Authentication-Results: zsh.org; iprev=pass (joooj.vinc17.net) smtp.remote-ip=155.133.131.76; dmarc=none header.from=vinc17.net; arc=none Received: from joooj.vinc17.net ([155.133.131.76]:35398) by zero.zsh.org with esmtps (TLS1.3:TLS_AES_256_GCM_SHA384:256) id 1lijoY-0004NM-9G; Mon, 17 May 2021 20:26:10 +0000 Received: from smtp-zira.vinc17.net (128.119.75.86.rev.sfr.net [86.75.119.128]) by joooj.vinc17.net (Postfix) with ESMTPSA id 3B8E94B7; Mon, 17 May 2021 22:26:09 +0200 (CEST) Received: by zira.vinc17.org (Postfix, from userid 1000) id EF635C20ED7; Mon, 17 May 2021 22:26:08 +0200 (CEST) Date: Mon, 17 May 2021 22:26:08 +0200 From: Vincent Lefevre To: zsh-workers@zsh.org Subject: Re: $PPID not updated when the PPID changes (parent killed) Message-ID: <20210517202608.GA3255290@zira.vinc17.org> Mail-Followup-To: zsh-workers@zsh.org References: <20210516152418.GA39669@zira.vinc17.org> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: X-Mailer-Info: https://www.vinc17.net/mutt/ User-Agent: Mutt/2.0.7+174 (4c786d87) vl-137001 (2021-05-15) X-Seq: 48865 Archived-At: X-Loop: zsh-workers@zsh.org Errors-To: zsh-workers-owner@zsh.org Precedence: list Precedence: bulk Sender: zsh-workers-request@zsh.org X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: On 2021-05-16 11:37:15 -0700, Bart Schaefer wrote: > On Sun, May 16, 2021 at 8:24 AM Vincent Lefevre 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 - Web: 100% accessible validated (X)HTML - Blog: Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)