Joe Gregorio wrote:
> flush() raises
> ValueError() if the file is already closed,
> 
> Should io.py raise OSError instead of ValueError?

Is it really necessary to raise anything at all?
An already-closed file is as flushed as it can
get, so why not just let it be a no-op?

-- 
Greg Ewing, Computer Science Dept, +--------------------------------------+
University of Canterbury,          | Carpe post meridiem!                 |
Christchurch, New Zealand          | (I'm not a morning person.)          |
[EMAIL PROTECTED]          +--------------------------------------+
_______________________________________________
Python-3000 mailing list
[email protected]
http://mail.python.org/mailman/listinfo/python-3000
Unsubscribe: 
http://mail.python.org/mailman/options/python-3000/archive%40mail-archive.com

Reply via email to