diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-06-11 19:01:40 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-11 19:01:40 +0200 |
commit | 30e8b53c380a7bc88fbea768e31bc6b64f27f0ef (patch) | |
tree | ddf8a7dd4d204efde78ffffbaf354de63e7e628b /misc | |
parent | 4043c8a8c980298e22ac0fa7a8955f19411f9148 (diff) | |
parent | f18121824c167d33f61a1fc8100bd4a8aa4f53cd (diff) |
Merge pull request #29680 from akien-mga/fix-headers
Add missing license headers
Diffstat (limited to 'misc')
-rwxr-xr-x | misc/scripts/fix_headers.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/misc/scripts/fix_headers.py b/misc/scripts/fix_headers.py index 823c9acfde..d94db22b42 100755 --- a/misc/scripts/fix_headers.py +++ b/misc/scripts/fix_headers.py @@ -33,7 +33,7 @@ header = """\ /*************************************************************************/ """ -files = open("files", "rb") +files = open("files", "r") fname = files.readline() @@ -67,7 +67,7 @@ while (fname != ""): # In a second pass, we skip all consecutive comment lines starting with "/*", # then we can append the rest (step 2). - fileread = open(fname.strip(), "rb") + fileread = open(fname.strip(), "r") line = fileread.readline() header_done = False @@ -92,11 +92,11 @@ while (fname != ""): fileread.close() # Write - filewrite = open(fname.strip(), "wb") + filewrite = open(fname.strip(), "w") filewrite.write(text) filewrite.close() # Next file fname = files.readline() -files.close()
\ No newline at end of file +files.close() |