commit e0904f721b51fb1f3f11fb4755e476d759b7b3e3
author Shawn O. Pearce <sop@google.com> Wed Aug 01 20:44:23 2012 -0700
committer Shawn O. Pearce <sop@google.com> Wed Aug 01 20:44:23 2012 -0700
tree 3fe7b7c3826fbf7cf913551f759c4f1612c3b36d
parent 9830553748a2a4a1930361b41a1076dbaa6d9f4a

Fix unsupported operand type(s) for +: 'int' and 'str'

Change-Id: I88455107d63daaa60c3b33c010aa8c730a590c70

project.py

diff --git a/project.py b/project.py
index 35dbafd..3f0fd80 100644
--- a/project.py
+++ b/project.py
@@ -1601,7 +1601,7 @@
 
       p = None
       try:
-        size = pos + r.headers.get('content-length', 0)
+        size = pos + int(r.headers.get('content-length', 0))
         unit = 1 << 10
 
         if size and not quiet: