On 06/07/2012 04:56 PM, Jann Horn wrote:
> On Fri, May 18, 2012 at 09:00:18PM +0200, Jann Horn wrote:
>> On Fri, May 18, 2012 at 04:58:38PM +0200, Jann Horn wrote:
>>> Hello,
>>> what would you think about letting "tee" exit immediately when the output 
>>> pipe was closed? It
>>> should be pretty straightforward to implement using select/epoll, right?
>>>
>>>  -- Jann
>>
>> Here's a patch that works for me.
> 
> Any opinion on this? Maybe I just didn't see it, but I think I received no 
> responses about this yet. Personally,
> I see no reason to keep the current behavior.
> 
>  -- Jann

I CC'd you on http://bugs.gnu.org/11540
Hopefully that proposal suffices.
I'll look at merging something soon.

cheers,
Pádraig.

Reply via email to