mirror of
https://github.com/apache/nuttx.git
synced 2026-05-21 13:13:08 +08:00
coredump.py:bug fix python file not have rename
tmpfile.rename(args.output)
^^^^^^^^^^^^^^
AttributeError: '_io.BufferedRandom' object has no attribute 'rename'. Did you mean: 'name'?
Signed-off-by: anjiahao <anjiahao@xiaomi.com>
This commit is contained in:
+1
-1
@@ -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)
|
||||
|
||||
|
||||
Reference in New Issue
Block a user