Merge pull request #15 from aivarannamaa/master

Update the url of the package index at micropython.org
pull/16/head
Peter Hinch 2020-07-28 13:29:19 +01:00 zatwierdzone przez GitHub
commit 10f798ec4d
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: 4AEE18F83AFDEB23
1 zmienionych plików z 1 dodań i 1 usunięć

Wyświetl plik

@ -171,7 +171,7 @@ def url_open(url):
# Now searches official library first before looking on PyPi for user packages
def get_pkg_metadata(name):
try:
f = url_open("https://micropython.org/resources/upi/%s/json" % name)
f = url_open("https://micropython.org/pi/%s/json" % name)
except:
f = url_open("https://pypi.org/pypi/%s/json" % name)
s = read_lines(f)