Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: killing commands in a pipe?
- X-seq: zsh-users 2387
- From: Dominik Vogt <dominik_vogt@xxxxxx>
- To: schaefer@xxxxxxxxxxxxxxxxxxxxxxx, zsh-users@xxxxxxxxxxxxxx
- Subject: Re: killing commands in a pipe?
- Date: Mon, 14 Jun 1999 14:38:43 -0600
- In-reply-to: <990614101726.ZM19345@xxxxxxxxxxxxxxxxxxxxxxx>; from schaefer@xxxxxxxxxxxxxxxxxxxxxxx on Mon, Jun 14, 1999 at 10:17:26AM +0000
- Mailing-list: contact zsh-users-help@xxxxxxxxxxxxxx; run by ezmlm
- References: <19990614121216.A799@xxxxxx> <990614101726.ZM19345@xxxxxxxxxxxxxxxxxxxxxxx>
On Mon, Jun 14, 1999 at 10:17:26AM +0000, schaefer@xxxxxxxxxxxxxxxxxxxxxxx wrote:
> On Jun 14, 12:12pm, Dominik Vogt wrote:
> } Subject: killing commands in a pipe?
> }
> } The problem is that although some_command_that_never_exits is
> } killed as expected, the 'while' part of the pipe doesn't exit.
>
> Try grabbing the patches from ftp://ftp.brasslantern.com/pub/zsh/ to
> build 3.0.6-pre-4, and let me know if the problem persists there.
Yes, the problem is still there. BTW, I must have overlooked this
when I wrote my first mail: the setting of HUP/NOHUP does not matter,
the problem occurs in both cases.
Bye
Dominik ^_^
--
Dominik Vogt, Hewlett-Packard GmbH, Dept. BVS
Herrenberger Str.130, 71034 Boeblingen, Germany
phone: 07031/14-4596, fax: 07031/14-3883, dominik_vogt@xxxxxx
Messages sorted by:
Reverse Date,
Date,
Thread,
Author