-
Notifications
You must be signed in to change notification settings - Fork 3k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fix proxy settings retrieval on startup #18171
Fix proxy settings retrieval on startup #18171
Conversation
@JunkuiZhang , would you want to have a peek at this? |
@SomeoneToIgnore I’ve been extremely busy lately. I’m currently participating in a competition with tight deadlines and heavy workloads, leaving me with almost no rest. If it’s okay, the competition will be over in about two days, and I’ll have much more time to focus on this. From my perspective, this PR needs more detailed description. At the very least, it should explain the root cause of the original issue and why this PR resolves it. This would make the review process smoother and quicker, and also increase the chances of your PR being merged. From a quick look, it seems like Additionally, I’m curious about how this change might affect #15446. |
Sorry, I was unaware of this, it's totally ok to ignore my message entirely if needed. |
I apologize for not explaining this PR, which wasted some of your time. I've reviewed #15446. It appears that all HTTP requests use the HTTP client created here: Before:
So before the modification, the proxy settings from the settings file were ignored, causing proxy_str to always be None. After: I just tested that simply placing |
@SomeoneToIgnore There's no need to be sorry, my friend. I can still read and reply emails and github notifications everyday. |
Thanks for this! |
Closes zed-industries#18155 Release Notes: - N/A
Closes #18155
Release Notes: