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

2020-05-25 Thread Giampaolo Rodola'
Sure. Done. On Mon, 25 May 2020 at 21:05, Eric V. Smith wrote: > Thanks, Giampaolo. Could you leave a comment on the issue? > > Erci > On 5/25/2020 10:32 AM, Giampaolo Rodola' wrote: > > I'm -1 because the concept of "timeout" is generic enough to be often > implemented as a custom exception,

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

2020-05-25 Thread Eric V. Smith
Thanks, Giampaolo. Could you leave a comment on the issue? Erci On 5/25/2020 10:32 AM, Giampaolo Rodola' wrote: I'm -1 because the concept of "timeout" is generic enough to be often implemented as a custom exception, which poses questions re. backward/forward compatibilty. E.g. in psutil I

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

2020-05-25 Thread Giampaolo Rodola'
I'm -1 because the concept of "timeout" is generic enough to be often implemented as a custom exception, which poses questions re. backward/forward compatibilty. E.g. in psutil I have "TimeoutExpired", also providing a "seconds" attribute. Also I've probably never seen ETIME / ETIMEDOUT happening,

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

2020-05-25 Thread Eric V. Smith
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 ETIMEDOUT. http://man7.org/linux/man-pages/man3/errno.3.html says:    

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

2020-05-25 Thread Nathaniel Smith
On Mon, May 25, 2020 at 1: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 ETIMEDOUT. > > > >

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

2020-05-25 Thread Serhiy Storchaka
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 ETIMEDOUT. http://man7.org/linux/man-pages/man3/errno.3.html says: *ETIME *Timer expired (POSIX.1 (XSI STREAMS