corrected missing file renaming of output
This commit is contained in:
parent
9ee8108b6b
commit
096204cd79
|
@ -173,7 +173,8 @@ for file in files:
|
||||||
|
|
||||||
file['output'].write(output)
|
file['output'].write(output)
|
||||||
|
|
||||||
file['input'].close()
|
|
||||||
if file['name'] != 'STDIN':
|
if file['name'] != 'STDIN':
|
||||||
|
file['input'].close()
|
||||||
file['output'].close()
|
file['output'].close()
|
||||||
|
os.rename(file['name']+'_tmp',file['name'])
|
||||||
|
|
Loading…
Reference in New Issue