1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-06-17 22:23:10 +03:00

download.php was used to distribute downloads across multiple server. we use dns round robin now

This commit is contained in:
Federico Fissore
2015-04-09 12:12:10 +02:00
parent 9833de618d
commit a7024791cd
3 changed files with 12 additions and 12 deletions

View File

@ -61,7 +61,7 @@ public class ContributionInstaller {
if (extenalPackageIndexUrl != null && !"".equals(extenalPackageIndexUrl)) {
PACKAGE_INDEX_URL = extenalPackageIndexUrl;
} else {
PACKAGE_INDEX_URL = "http://arduino.cc/download.php?f=/packages/package_index.json";
PACKAGE_INDEX_URL = "http://downloads.arduino.cc/packages/package_index.json";
}
}