- cast stream size to float

diff --git a/TLD_Builder/rpm_builder.py b/TLD_Builder/rpm_builder.py
index b266947e1f9b68031eb0fe8d66c3b462eeb4bd71..b7ca2cda6e5f846663992742416f7ea72cc64d31 100644 (file)
--- a/TLD_Builder/rpm_builder.py
+++ b/TLD_Builder/rpm_builder.py
@@ -134,7 +134,7 @@ def fetch_src(r, b):
         b.log_line("error: unable to write to `%s': %s" % (b.src_rpm, e))
         raise
 
-    bytes = f.headers['content-length']
+    bytes = float(f.headers['content-length'])
     f.close()
     o.close()
     t = time.time() - start