Automatic flushing for PipeReader (with Patch)

[Jochen Keil]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hello,

On 06.08.2012 21:25, Jose A. Ortega Ruiz wrote:
> 
> Hi Jochen,
> 
> On Sun, Aug 05 2012, Jochen Keil wrote:
> 
>> Hello,
>> 
>> I've written a small patch for PipeReader which does the
>> following.
> 
> Seems good... but i think you sent the patch in the opposite
> direction: would you mind re-generating it?
Sorry, I will fix that.

However, I wrote a whole new Plugin which reads from multiple pipes
and overwrites one main pipe temporarily, restoring the original
content after a given timeout.

I think that's an even better approach. :)

Furthermore I'm currently hacking on xmobar to make it
autoraise/autohide when a plugin generates new data.

I will get the latest darcs sources and then send patches applied to
that then.

Best Wishes,

Jochen


> 
> Thanks a lot!
> 
> jao
> 
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.19 (GNU/Linux)

iEYEARECAAYFAlAgSU0ACgkQtVwvsA+W4CBiJgCgjFFLqCymO1K6xZBj6zQ1EVGE
7icAn1kApGH0EqtsX8wDCzU6g8s3wSwi
=DFSe
-----END PGP SIGNATURE-----