| Index: tools/deep_memory_profiler/dmprof
|
| diff --git a/tools/deep_memory_profiler/dmprof b/tools/deep_memory_profiler/dmprof
|
| index 01cf480bde1f6747720eec1b54de6b88ae835485..b1c362278021295c4876901568a8f0ef674f106f 100755
|
| --- a/tools/deep_memory_profiler/dmprof
|
| +++ b/tools/deep_memory_profiler/dmprof
|
| @@ -550,7 +550,8 @@ class Dump(object):
|
| sum(self.counters[i] for i in removed))
|
| if 'total-exclude-profiler' in sizes:
|
| sizes['total-exclude-profiler'] = (
|
| - self.counters['total_committed'] - sizes['mmap-profiler'])
|
| + self.counters['total_committed'] -
|
| + (sizes['mmap-profiler'] + sizes['mmap-allocated-type']))
|
| if 'hour' in sizes:
|
| sizes['hour'] = (self.dump_time - first_dump_time) / 60.0 / 60.0
|
| if 'minute' in sizes:
|
|
|