diff --git a/tools/coredump.py b/tools/coredump.py index e6071442db..3b9a9d48d6 100755 --- a/tools/coredump.py +++ b/tools/coredump.py @@ -134,8 +134,8 @@ def main(): outfile.close() os.unlink(tmp) else: - tmpfile.rename(args.output) tmpfile.close() + os.rename(tmp, args.output) print("Core file conversion completed: " + args.output)