[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#24903: "tail -f - foo" does not terminate when stdin is closed and f
|
From: |
Bernhard Voelker |
|
Subject: |
bug#24903: "tail -f - foo" does not terminate when stdin is closed and foo is ignored |
|
Date: |
Tue, 8 Nov 2016 22:28:39 +0100 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.4.0 |
On 11/08/2016 06:47 PM, Pádraig Brady wrote:
> Subject: [PATCH] tail: terminate when following pipes and untailable non pipes
>
> * src/tail.c (ignore_pipe_or_fifo): Mark the descriptor as -1
> for pipes so that any_live_files() detects correctly that
> the entry is no longer live.
> * tests/tail-2/pipe-f.sh: Add a test case.
> Fixes http://bugs.gnu.org/24903 which was detected
> using Symbolic Execution techniques developed in
> the course of the SYMBIOSYS research project at
> COMSYS, RWTH Aachen University.
The patch looks good, yet I think it warrants a NEWS entry.
Thanks & have a nice day,
Berny