diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-03-13 11:49:58 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-13 11:49:58 +0100 |
| commit | 4287c7822b8aa06b069e42b44b9aa73396db62f5 (patch) | |
| tree | 2db4764933bbf252b8ba0007816527265f4dd79d /misc/scripts/fix_headers.py | |
| parent | 6e491ff283b7cfa90a1e27e96edb0b7c9dececa6 (diff) | |
| parent | 272ecddb2859e3c184886bc2d142e2e329b8ae83 (diff) | |
Merge pull request #17440 from viktor-ferenczi/issue-5042
Properly closing all files in Python build code
Diffstat (limited to 'misc/scripts/fix_headers.py')
| -rw-r--r-- | misc/scripts/fix_headers.py | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/misc/scripts/fix_headers.py b/misc/scripts/fix_headers.py index 809820c20f..48b9628b1f 100644 --- a/misc/scripts/fix_headers.py +++ b/misc/scripts/fix_headers.py @@ -92,9 +92,11 @@ while (fname != ""): fileread.close() # Write - fileread = open(fname.strip(), "wb") - fileread.write(text) - fileread.close() + filewrite = open(fname.strip(), "wb") + filewrite.write(text) + filewrite.close() # Next file fname = files.readline() + +files.close()
\ No newline at end of file |