Automatic flushing for PipeReader (with Patch)

[Jose A. Ortega Ruiz]

Hi Jochen,

On Thu, Aug 09 2012, Jochen Keil wrote:

> Hello Jose,
>
> On 08.08.2012 09:38, Jochen Keil wrote:
>>>> Furthermore I'm currently hacking on xmobar to make it
>>>> autoraise/autohide when a plugin generates new data.
>>
>>> That sounds awesome.
>
> I'm glad to tell you that you'll find my pull request for all the
> discussed features on github.

Yes, i saw it and left a little comment: looks very good, i just need to
actually try it out as soon as i find a moment :)

> It would make really happy if everything would find it's way into the
> official src.

The code looks good, i'm sure it will!

Thanks a lot,
jao
-- 
Humans think they are smarter than dolphins because we build cars and
buildings and start wars etc., and all that dolphins do is swim in the
water, eat fish and play around. Dolphins believe that they are
smarter for exactly the same reasons. -Douglas Adams