[PATCH] ui: ignore EIO in write_err

[Dirkjan Ochtman]

On Wed, Jun 16, 2010 at 00:24, Mads Kiilerich <mads at kiilerich.com> wrote:
> diff --git a/mercurial/ui.py b/mercurial/ui.py
> --- a/mercurial/ui.py
> +++ b/mercurial/ui.py
> @@ -369,7 +369,7 @@
>             if not getattr(sys.stderr, 'closed', False):
>                 sys.stderr.flush()
>         except IOError, inst:
> -            if inst.errno != errno.EPIPE:
> +            if inst.errno not in [errno.EPIPE, errno.EIO]:
>                 raise
>
>     def flush(self):

Nit: this feels like it should be a tuple, not a list.

Cheers,

Dirkjan