Antoine Pitrou <pit...@free.fr> added the comment: Here is a patch, introducing a new exception named SpecialFileError which is raised when trying to copy a named pipe. Other kinds of special file aren't checked for, but they could it we thought it's sensible to do so.
---------- keywords: +patch message_count: 7.0 -> 8.0 Added file: http://bugs.python.org/file13269/issue3002.patch _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue3002> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
