Regression issue: ESP Board Manager JSON file fails to load in Arduino IDE version 1.8.13 (but does work in 1.8.12)

[phils1266]

I discovered that Arduino IDE 1.8.13 does not load the board manager file for ESP boards at https://dl.espressif.com/dl/package_esp32_index.json. After adding the URL in to Additional Board Manager URLs in Preferences and accessing the Board Manager dialog the system throws an error (appearing in the black error panel) "Error downloading https://dl.espressif.com/dl/package_esp32_index.json"

Performing the same test in 1.8.12, the board manager json file is loaded without error and ESP support libraries appear in the list.

[hertell]

I had the same problem with https://arduino.esp8266.com/stable/package_esp8266com_index.json. I got it fixed by changing https->http (-> http://arduino.esp8266.com/stable/package_esp8266com_index.json).

Looks that arduino IDE has trouble with SSL-urls