IDE updater doesn't use the configured proxy

[wh201906]

Describe the problem

Arduino IDE makes various uses of resources accessed via the Internet. Some users can only access the Internet via a proxy server. Arduino IDE can be configured to use the proxy server via the "Network" tab of the "Preferences" dialog.

🐛 When updating the IDE with the built-in updater, the traffic doesn't go through the proxy, even though I have configured the proxy in the preferences.

To reproduce

---

❗ A proxy server is not required to perform this demonstration.

---

1. Select File > Preferences... from the Arduino IDE menus.
2. Click the "Network" tab.
3. Select the "Manual proxy configuration" radio button.
4. Configure proxy as follows:
   • Select the "HTTP" radio button.
   • Set "Host name" to example.com
   • Set "Port number" to 42
   • Set "Username" to foo
   • Set "Password" to bar
5. Click the OK button.
6. Trigger an IDE update.

🐛 The update is downloaded successfully, even though it should have failed if the invalid proxy configuration was used.

Expected behavior

The updater should also use the proxy setting in the Preferences.

Arduino IDE version

Original report

2.1.0

Last verified with

2.3.4

Operating system

Windows

Operating system version

Windows 10

Additional context

The configuration provided by the standardized http_proxy and https_proxy environment variables are also not used by the updater.

Issue checklist

• I searched for previous reports in the issue tracker
• I verified the problem still occurs when using the latest nightly build
• My report contains all necessary details