[PATCH] Flush stderr after write

[Thomas Arendsen Hein]

* Patrick Mezard <pmezard at gmail.com> [20070110 20:40]:
> # HG changeset patch
> # User Patrick Mezard <pmezard at gmail.com>
> # Date 1168457727 -3600
> # Node ID ea772dca79a4e5a3f03ae7fa76bc2af50da98cfe
> # Parent  aeda5d6a1f74a9ba12f1da2a3740941fc6ae6a1c
> Flush stderr after write.

Pushed to crew.

Thanks,
Thomas

-- 
Email: thomas at intevation.de
http://intevation.de/~thomas/