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

Re: Exit code 130 kills pipeline

X-seq: zsh-workers 46066
From: Roman Perepelitsa <roman.perepelitsa@xxxxxxxxx>
To: Peter Stephenson <p.w.stephenson@xxxxxxxxxxxx>
Subject: Re: Exit code 130 kills pipeline
Date: Thu, 18 Jun 2020 07:49:10 +0200
Cc: Zsh hackers list <zsh-workers@xxxxxxx>
In-reply-to: <1742415134.186024.1592413109794@mail2.virginmedia.com>
List-help: <mailto:zsh-workers-help@zsh.org>
List-id: Zsh Workers List <zsh-workers.zsh.org>
List-post: <mailto:zsh-workers@zsh.org>
List-unsubscribe: <mailto:zsh-workers-unsubscribe@zsh.org>
Mailing-list: contact zsh-workers-help@xxxxxxx; run by ezmlm
References: <CAN=4vMqH7hQ6p=x+WHcWe3Xr2wD26W1kv65dUj4M5SmgsGo7Qw@mail.gmail.com> <1742415134.186024.1592413109794@mail2.virginmedia.com>

On Wed, Jun 17, 2020 at 6:59 PM Peter Stephenson
<p.w.stephenson@xxxxxxxxxxxx> wrote:
>
> diff --git a/Src/jobs.c b/Src/jobs.c
> index 8353f1152..0d4993554 100644
> --- a/Src/jobs.c
> +++ b/Src/jobs.c
> [...]

Thanks, Peter. I confirm that this patch fixes the issue I was having.

Roman.

Follow-Ups:
- Re: Exit code 130 kills pipeline
  - From: Peter Stephenson

References:
- Exit code 130 kills pipeline
  - From: Roman Perepelitsa
- Re: Exit code 130 kills pipeline
  - From: Peter Stephenson

Messages sorted by: Reverse Date, Date, Thread, Author