| Index: tools/deep_memory_profiler/dmprof
|
| diff --git a/tools/deep_memory_profiler/dmprof b/tools/deep_memory_profiler/dmprof
|
| index 01cf480bde1f6747720eec1b54de6b88ae835485..77b1f318a12006e5b2484b6a13241cdf2d4d3300 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-type-profiler']))
|
| if 'hour' in sizes:
|
| sizes['hour'] = (self.dump_time - first_dump_time) / 60.0 / 60.0
|
| if 'minute' in sizes:
|
|
|