IDE updater doesn't use the configured proxy

[wh201906]

Describe the problem

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

To reproduce

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