mirror of
https://github.com/arduino/Arduino.git
synced 2024-12-10 21:24:12 +01:00
fcb53ba6e1
There was an error in the following constants: PREF_PROXY_AUTO_USERNAME = "proxy.manual.username" PREF_PROXY_AUTO_PASSWORD = "proxy.manual.password" they should be set to "auto" and not "manual": PREF_PROXY_AUTO_USERNAME = "proxy.auto.username" PREF_PROXY_AUTO_PASSWORD = "proxy.auto.password" Changing the constants to the correct value now will fix the problem for future installations of the IDE but will produce an annoying side-effect for users upgrading from previous version of the IDE: they will lose their saved user and pass (because it was saved as "proxy.manual.*") and the IDE will suddenly stop working without any clear reason. To avoid this I've left the value to "proxy.manual.*" and removed the distinction from AUTO and MANUAL, so now we have only: PREF_PROXY_USERNAME = "proxy.manual.username" PREF_PROXY_PASSWORD = "proxy.manual.password" The corresponding textbox in the preference dialog will be filled based on the PROXY_TYPE selection. |
||
|---|---|---|
| .. | ||
| contributions | ||
| i18n | ||
| net | ||
| packages | ||