[issue16597] file descriptor not being closed with context manager on IOError when device is full

[Serhiy Storchaka]

Serhiy Storchaka added the comment:

Here is a patch which calls close() on underlying stream even if flush() raises an exception.

I am not sure that I correctly set a context exception. There is no other examples in the code.

----------
keywords: +patch
nosy: +benjamin.peterson, pitrou, stutzbach
stage:  -> patch review
Added file: http://bugs.python.org/file28196/bufferedio_finally_close.patch

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue16597>
_______________________________________