1 files changed, 33 insertions, 0 deletions
diff --git a/testing/web-platform/tests/mathml/tools/utils/misc.py b/testing/web-platform/tests/mathml/tools/utils/misc.py
new file mode 100644
index 0000000000..89ec1bdf80
--- /dev/null
+++ b/testing/web-platform/tests/mathml/tools/utils/misc.py
@@ -0,0 +1,33 @@
+import os
+import progressbar
+from urllib.request import urlopen
+
+UnicodeXMLURL = "https://raw.githubusercontent.com/w3c/xml-entities/gh-pages/unicode.xml"
+InlineAxisOperatorsURL = "https://w3c.github.io/mathml-core/tables/inline-axis-operators.txt"
+
+def downloadWithProgressBar(url, outputDirectory="./", forceDownload=False):
+
+    baseName = os.path.basename(url)
+    fileName = os.path.join(outputDirectory, baseName)
+
+    if not forceDownload and os.path.exists(fileName):
+        return fileName
+
+    request = urlopen(url)
+    totalSize = int(request.info().get('Content-Length').strip())
+    bar = progressbar.ProgressBar(maxval=totalSize).start()
+
+    chunkSize = 16 * 1024
+    downloaded = 0
+    print("Downloading %s" % url)
+    os.umask(0o002)
+    with open(fileName, 'wb') as fp:
+        while True:
+            chunk = request.read(chunkSize)
+            downloaded += len(chunk)
+            bar.update(downloaded)
+            if not chunk: break
+            fp.write(chunk)
+        bar.finish()
+
+    return fileName