Skip to content

Proxy port 80 not working #2336

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

Open
3 tasks done
lokomiro opened this issue Jan 19, 2024 · 0 comments
Open
3 tasks done

Proxy port 80 not working #2336

lokomiro opened this issue Jan 19, 2024 · 0 comments
Labels
topic: code Related to content of the project itself type: imperfection Perceived defect in any part of project

Comments

@lokomiro
Copy link

lokomiro commented Jan 19, 2024

Describe the problem

Users may access the Internet via a proxy server. Arduino IDE can be configured for this use case via the "Network" tab of the "Preferences" dialog.

🐛 When the "Port number" preference is set to 80, the proxy configuration is not correctly handled by the IDE, with two distinct symptoms:

A. The IDE is not able to connect to the network (lower left corner of IDE reports "Offline", libraries etc. are not accessible).
B. The "Port number" preference is blank.

To reproduce

The following demonstrates the '"Port number" preference is blank' fault:

  1. Select File > Preferences... from the Arduino IDE menus.
    The "Preferences" dialog will open
  2. Select the "Network" tab in the dialog.
  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 80
    • Set "Username" to foo
    • Set "Password" to bar
  5. Click the "OK" button.
  6. Select File > Preferences... from the Arduino IDE menus.
  7. Click the "Network" tab.
    🙂 The proxy configuration is as you specified at step (4).
  8. Click the "OK" button.
  9. Select File > Quit (or Arduino > Quit Arduino for macOS users) from the Arduino IDE menus.
    All Arduino IDE windows will close.
  10. Start Arduino IDE.
  11. Select File > Preferences... from the Arduino IDE menus.
  12. Click the "Network" tab.

🐛 The "Port number" preference is blank.

Expected behavior

  • The IDE is able to access the Internet through the proxy server when it uses port 80.
  • The preferences shows the configured port number when the preference is set to 80.

Arduino IDE version

Original report

2.2.2-nightly-20240119

Last verified with

2.3.4

Operating system

Windows

Operating system version

  • Windows 10 Home 10.10.19045
  • Windows 11

Additional context

The fault does not occur with other port number values.


I can see that the port number is set to 80 in the arduino-cli.yaml configuration file (even though it is not shown in the Preferences dialog):

Arduino_IDE2 2 2_yaml2IDE_proxy_port80_NOK

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
@lokomiro lokomiro added the type: imperfection Perceived defect in any part of project label Jan 19, 2024
@per1234 per1234 changed the title Arduino IDE 2.2.2 -> 1. proxy port 80 not working, 2. cannot set port 80 in proxy settings and 3. proxy port changes are not updated in yaml file Proxy port 80 not working Dec 13, 2024
@per1234 per1234 added the topic: code Related to content of the project itself label Dec 13, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: code Related to content of the project itself type: imperfection Perceived defect in any part of project
Projects
None yet
Development

No branches or pull requests

2 participants