diff options
author | Radostin Stoyanov <rstoyanov1@gmail.com> | 2019-07-01 17:40:44 +0300 |
---|---|---|
committer | Andrei Vagin <avagin@gmail.com> | 2020-02-04 23:37:37 +0300 |
commit | 08f3b57ab324aea55e7a92ecbe961be60df4983d (patch) | |
tree | 224c8174da13eaec813b2cb73f0e8eed9111e4af /coredump | |
parent | c703e3fd8404e506cc6156719b953ea0580d59a4 (diff) |
py: Manual fixlets of code formatting
Signed-off-by: Pavel Emelyanov <xemul@virtuozzo.com>
Diffstat (limited to 'coredump')
-rw-r--r-- | coredump/criu_coredump/coredump.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/coredump/criu_coredump/coredump.py b/coredump/criu_coredump/coredump.py index bc53a7705..68dc16bf2 100644 --- a/coredump/criu_coredump/coredump.py +++ b/coredump/criu_coredump/coredump.py @@ -645,8 +645,7 @@ class coredump_generator: ppid = self.pstree[pid]["ppid"] return self._get_page(ppid, page_no) else: - with open(self._imgs_dir + "/" + "pages-" + str(pages_id) + - ".img") as f: + with open(self._imgs_dir + "/pages-%s.img" % pages_id) as f: f.seek(off * PAGESIZE) return f.read(PAGESIZE) |