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

Re: killing commands in a pipe?



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