Home
last modified time | relevance | path

Searched refs:package_mirror_url (Results 1 – 1 of 1) sorted by relevance

/external/webkit/WebKitTools/CygwinDownloader/
Dcygwin-downloader.py42 package_mirror_url = mirror_servers[random.choice(range(len(mirror_servers)))] variable
45 download_url_to_file(package_mirror_url + package["path"], package["path"], message)
77 print "Using Cygwin mirror server " + package_mirror_url + " to download setup.ini..."
79 urllib.urlretrieve(package_mirror_url + "setup.ini", "setup.ini.orig")