# HG changeset patch
# User Atul Varma <varmaa@toolness.com>
# Date 1211958829 0
# Node ID fee2c6b5881dda15dcf65208570dcde94aa88c22
# Parent  3472b1ded8173cf11bfe71a195b3bf8f5e7add57
Added some fault tolerance to mirror.py.

diff -r 3472b1ded817 -r fee2c6b5881d mirror.py
--- a/mirror.py	Wed May 28 00:03:47 2008 -0700
+++ b/mirror.py	Wed May 28 07:13:49 2008 +0000
@@ -14,7 +14,13 @@
         if not os.path.exists(path):
             url = "%s/%s" % (BASE_URL, path)
             print "Fetching %s..." % url
-            fileobj = urllib2.urlopen(url)
-            contents = fileobj.read()
-            distutils.dir_util.mkpath(os.path.dirname(path))
-            open(path, "wb").write(contents)
+            try:
+                fileobj = urllib2.urlopen(url)
+                contents = fileobj.read()
+                distutils.dir_util.mkpath(os.path.dirname(path))
+                open(path, "wb").write(contents)
+            except urllib2.HTTPError, e:
+                if e.code == 403:
+                    print "  Forbidden, skipping."
+                else:
+                    raise