diff options
| author | Viktor Ferenczi | 2018-03-10 18:37:33 +0100 |
|---|---|---|
| committer | Viktor Ferenczi | 2018-03-11 14:55:50 +0100 |
| commit | 272ecddb2859e3c184886bc2d142e2e329b8ae83 (patch) | |
| tree | 8f76dbf6737196fbb66a1b379e1f18437f609173 /misc/scripts/fix_headers.py | |
| parent | eceba5aa6a36521c878cf976845123e820d27161 (diff) | |
| download | godot-272ecddb2859e3c184886bc2d142e2e329b8ae83.tar.gz godot-272ecddb2859e3c184886bc2d142e2e329b8ae83.tar.zst godot-272ecddb2859e3c184886bc2d142e2e329b8ae83.zip | |
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 809820c20..48b9628b1 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 |
