makebuildserver: delete cached files with zero size

If download fails to connect, it'll make a zero size file.  Then the next
run on ./makebuildserver will fail because the checksum will not be right.

diff --git a/makebuildserver b/makebuildserver
index f745b0a3bb9861b5c8711cf353a08fed952ec9b8..4e575a09b449054222da82e233170c37770f79da 100755 (executable)
--- a/makebuildserver
+++ b/makebuildserver
@@ -305,6 +305,9 @@ def sha256_for_file(path):
 
 for f, src, shasum in cachefiles:
     relpath = os.path.join(cachedir, f)
+    # if download fails to connect, it'll make a zero size file
+    if os.path.exists(relpath) and os.stat(relpath).st_size == 0:
+        os.remove(relpath)
     if not os.path.exists(relpath):
         print "Downloading " + f + " to cache"
         if subprocess.call(['wget', src, '-O', f], cwd=cachedir) != 0: