arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-06-16 11:21:18 +03:00
Code Activity

Changed package_index and library_index json urls to use download.php proxy

Browse Source 
Installed a ESC key listener: it allows to close the dialog pressing the ESC key
This commit is contained in:
Federico Fissore
2015-02-23 17:14:56 +01:00
parent 589f514a47
commit 86f84c8a3e
3 changed files with 22 additions and 27 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
arduino-core/src/cc/arduino/packages/contributions/ContributionInstaller.java
View File

@ -172,7 +172,7 @@ public class ContributionInstaller {
final MultiStepProgress progress = new MultiStepProgress(1);
final String statusText = _("Downloading platforms index...");
URL url = new URL("http://arduino.cc/package_index.json");
URL url = new URL("http://arduino.cc/download.php?f=/packages/package_index.json");
File outputFile = indexer.getIndexFile();
File tmpFile = new File(outputFile.getAbsolutePath() + ".tmp");
downloader.download(url, tmpFile, progress, statusText);