diff -r d29bd00bbc50 -r 18b134ef294c contrib/shrink-revlog.py --- a/contrib/shrink-revlog.py Thu Nov 05 01:11:28 2009 +0100 +++ b/contrib/shrink-revlog.py Thu Nov 05 10:44:36 2009 +0100 @@ -87,12 +87,12 @@ count += 1 finally: write('\n') - + def report(olddatafn, newdatafn): oldsize = float(os.stat(olddatafn).st_size) newsize = float(os.stat(newdatafn).st_size) - # argh: have to pass an int to %d, because a float >= 2^32 + # argh: have to pass an int to %d, because a float >= 2^32 # blows up under Python 2.5 or earlier sys.stdout.write('old file size: %12d bytes (%6.1f MiB)\n' % (int(oldsize), oldsize/1024/1024))