bootstrap: add waf mirror

bootstrap.py

@@ -6,7 +6,8 @@ from __future__ import print_function
 import os, sys, stat, hashlib, subprocess
 
 WAFRELEASE = "waf-1.8.4"
-WAFURL     = "http://ftp.waf.io/pub/release/" + WAFRELEASE
+WAFURLS    = ["http://ftp.waf.io/pub/release/" + WAFRELEASE,
+              "http://www.freehackers.org/~tnagy/release/" + WAFRELEASE]
 SHA256HASH = "f02035fa5d8814f33f19b2b20d43822ddef6bb39b955ca196c2a247a1f9ffaa8"
 
 if os.path.exists("waf"):
@@ -16,12 +17,24 @@ if os.path.exists("waf"):
         sys.exit(0)
 
 try:
-    from urllib.request import urlopen
+    from urllib.request import urlopen, URLError
 except:
-    from urllib2 import urlopen
+    from urllib2 import urlopen, URLError
 
-print("Downloading %s..." % WAFURL)
-waf = urlopen(WAFURL).read()
+waf = None
+
+for WAFURL in WAFURLS:
+    try:
+        print("Downloading {}...".format(WAFURL))
+        waf = urlopen(WAFURL).read()
+        break
+    except URLError:
+        print("Download failed.")
+
+if not waf:
+    print("Could not download {}.".format(WAFRELEASE))
+
+    sys.exit(1)
 
 if SHA256HASH == hashlib.sha256(waf).hexdigest():
     with open("waf", "wb") as wf: