[Python-Dev] Re: Map errno==ETIME to TimeoutError

2020-05-26 Thread Barry
> On 24 May 2020, at 17:42, Eric V. Smith wrote: > >  > Does anyone have an opinion on https://bugs.python.org/issue39673? It maps > ETIME to TimeoutError, in addition to the already existing ETIMEDOUT. > > http://man7.org/linux/man-pages/man3/errno.3.html says: > >ETIME T

[Python-Dev] Re: Map errno==ETIME to TimeoutError

2020-05-26 Thread Antoine Pitrou
On Mon, 25 May 2020 04:38:17 -0400 "Eric V. Smith" wrote: > On 5/25/2020 4:25 AM, Serhiy Storchaka wrote: > > 24.05.20 17:48, Eric V. Smith пише: > >> Does anyone have an opinion on https://bugs.python.org/issue39673? It > >> maps ETIME to TimeoutError, in addition to the already existing > >>

[Python-Dev] Re: Map errno==ETIME to TimeoutError

2020-05-26 Thread Giampaolo Rodola'
Sigh! I misread this discussion and thought the proposal was to add TimeoutError which I forgot existed. Sorry for the noise and please disregard my previous message. On Mon, May 25, 2020 at 4:32 PM Giampaolo Rodola' wrote: > I'm -1 because the concept of "timeout" is generic enough to be often