Skip to content

Conversation

@the-glu
Copy link
Contributor

@the-glu the-glu commented Jun 2, 2025

Ad recorded in #1033, it does seems that errno is not set on the connection error from the requests library

.__dict__: {''response'': None, ''request'': <PreparedRequest [GET]>}
.errno: None

This PR use the errors from the library in addition to the standard ones.

@the-glu the-glu requested a review from Shastick June 2, 2025 12:18
Comment on lines +86 to +89
except requests.exceptions.ConnectionError:
pass
except requests.exceptions.Timeout:
pass
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nit: we could do

except (requests.exceptions.ConnectionError, requests.exceptions.Timeout):
    pass

(esp given other exceptions might get added later :))

Copy link
Contributor

@Shastick Shastick left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good, see minor nit

Copy link
Contributor

@mickmis mickmis left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@mickmis mickmis merged commit 9399d95 into interuss:main Jun 3, 2025
21 checks passed
@mickmis mickmis deleted the fix_1033 branch June 3, 2025 13:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants