diff options
author | Marco Pesenti Gritti <mpg@redhat.com> | 2007-09-13 19:17:08 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <mpg@redhat.com> | 2007-09-13 19:17:08 (GMT) |
commit | fe39b82a932afd40f96004a106003eb119197737 (patch) | |
tree | 61de7efd9901928b1e292294f6628083fa0a5373 | |
parent | cffd29c284244d8612f10924ad271a457626bd14 (diff) | |
parent | 8b3e0196b7a5be00c99252c7e0a4b9542fdc017b (diff) |
Merge branch 'master' of git+ssh://dev.laptop.org/git/sugar
-rwxr-xr-x | shell/view/home/proc_smaps.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/shell/view/home/proc_smaps.py b/shell/view/home/proc_smaps.py index 47a5fe5..6e1680f 100755 --- a/shell/view/home/proc_smaps.py +++ b/shell/view/home/proc_smaps.py @@ -94,7 +94,8 @@ def get_mappings(pid, ignored_shared_mappings): shared_clean = int(lines[line_idx + 3][14:-3]) shared_dirty = int(lines[line_idx + 4][14:-3]) - mapping = Mapping(name, private, shared) + mapping = Mapping(name, private_clean + private_dirty, + shared_clean + shared_dirty) mappings.append (mapping) return mappings |