Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: killing commands in a pipe?
- X-seq: zsh-users 2388
- From: Sven Wischnowsky <wischnow@xxxxxxxxxxxxxxxxxxxxxxx>
- To: zsh-users@xxxxxxxxxxxxxx
- Subject: Re: killing commands in a pipe?
- Date: Tue, 15 Jun 1999 09:28:19 +0200 (MET DST)
- In-reply-to: Dominik Vogt's message of Mon, 14 Jun 1999 14:38:43 -0600
- Mailing-list: contact zsh-users-help@xxxxxxxxxxxxxx; run by ezmlm
Dominik Vogt wrote:
> 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.
Sorry I didn't try it yesterday...
The problem is that we have all this code in update_job() that handles
such cases, but only if MONITOR is set -- which it isn't in a script-
shell.
I can only hope that the patch has no negative effects -- it is for
pws-21. I haven't tried it but I think it should also work with
3.0.5-pre-4.
Bye
Sven
--- os/jobs.c Mon Jun 14 09:16:19 1999
+++ Src/jobs.c Tue Jun 15 09:16:27 1999
@@ -240,8 +240,11 @@
adjustwinsize(0);
}
}
+ } else if (list_pipe && (val & 0200) && inforeground == 1) {
+ breaks = loops;
+ errflag = 1;
+ inerrflush();
}
-
if (somestopped && jn->stat & STAT_SUPERJOB)
return;
jn->stat |= (somestopped) ? STAT_CHANGED | STAT_STOPPED :
--
Sven Wischnowsky wischnow@xxxxxxxxxxxxxxxxxxxxxxx
Messages sorted by:
Reverse Date,
Date,
Thread,
Author