On Tue, Dec 3, 2013 at 9:44 AM, Guido van Rossum <gu...@python.org> wrote: > Thanks for reporting this.
With pleasure! I'm just glad to have reported a valid bug for once in my life :b > This really belongs in the Python issue tracker (bugs.python.org) -- can you submit a bug there? I've opened issue # 19901 [1] as requested. > My hunch is that, because this seems to be a relatively new feature, we should just catch and ignore the exception from that specific call. I agree, although I sort of phrased it poorly in the bug. Thank you again for your support (and sorry for the delayed response). Python is cool :] [1]: http://bugs.python.org/issue19901
_______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
