[Python-Dev] Comments of the PEP 3151
Glenn Linderman
v+python at g.nevcal.com
Mon Jul 25 18:17:36 CEST 2011
On 7/25/2011 3:43 AM, Antoine Pitrou wrote:
> On Mon, 25 Jul 2011 15:28:47 +1000
> Nick Coghlan<ncoghlan at gmail.com> wrote:
>> >
>>> > > If we add EINTR, I don't know if it's better to add it to
>>> > > BlockingIOError or to create a new exception (InterruptError?).
>> >
>> > InterruptedError seems like a reasonable candidate for addition to me
>> > - catch and retry in that case is something developers are likely to
>> > want to do.
> Ok, let's call it InterruptError then. InterruptedError sounds like the
> error was interrupted;)
>
Sorry, no. "InterruptError" sounds too much like a CPU interrupt
signal, which the error is not. "InterruptedError" is OK by me, I don't
see the confusion you do. But maybe "InterruptedOperationError" would
be the most clear. Way too long, of course, so maybe
"InterruptedAPIError" or "InterruptedOpError" or "EINTRError" in my
order of preference.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-dev/attachments/20110725/1cb0946f/attachment.html>
More information about the Python-Dev
mailing list