[PATCH] stdout raises EINVAL when flush() is called on a closed pipe under win32

[Alexis S. L. Carvalho]

Thus spake Patrick Mezard:
> # HG changeset patch
> # User Patrick Mezard <pmezard at gmail.com>
> # Date 1171877566 -3600
> # Node ID a092c5d2f2d9f2cb7d2dbcf37d712cc535959a46
> # Parent  cc3c783b0030ee1275476973c97c49a81c1d1c13
> stdout raises EINVAL when flush() is called on a closed pipe under win32.

Pushed to crew-stable

Thanks

Alexis