equal
deleted
inserted
replaced
27 if key in result: |
27 if key in result: |
28 result[key] = int(parts[1]) |
28 result[key] = int(parts[1]) |
29 finally: |
29 finally: |
30 if status is not None: |
30 if status is not None: |
31 status.close() |
31 status.close() |
32 ui.write_err(", ".join(["%s: %.1f MiB" % (key, value/1024.0) |
32 ui.write_err(", ".join(["%s: %.1f MiB" % (key, value / 1024.0) |
33 for key, value in result.iteritems()]) + "\n") |
33 for key, value in result.iteritems()]) + "\n") |
34 |
34 |
35 def extsetup(ui): |
35 def extsetup(ui): |
36 atexit.register(memusage, ui) |
36 atexit.register(memusage, ui) |