diff options
| author | ajreckof <tbonhoure@ymail.com> | 2024-04-12 19:38:37 +0200 |
|---|---|---|
| committer | ajreckof <tbonhoure@ymail.com> | 2024-04-12 19:38:37 +0200 |
| commit | d3d4b2e25ec43c2a248c9cc5ea0046fa7dc15987 (patch) | |
| tree | 7259dc9db7d39eb1af60eb7852a1c7c582c7d5d2 | |
| parent | 029aadef563fb69cf49aa9795b62f27171f8c3f4 (diff) | |
| download | redot-engine-d3d4b2e25ec43c2a248c9cc5ea0046fa7dc15987.tar.gz | |
Fix infinite while loop on empty added file.
| -rwxr-xr-x | misc/scripts/copyright_headers.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/misc/scripts/copyright_headers.py b/misc/scripts/copyright_headers.py index 169795921f..2b1201b3c0 100755 --- a/misc/scripts/copyright_headers.py +++ b/misc/scripts/copyright_headers.py @@ -73,7 +73,7 @@ for f in sys.argv[1:]: line = fileread.readline() header_done = False - while line.strip() == "": # Skip empty lines at the top + while line.strip() == "" and line != "": # Skip empty lines at the top line = fileread.readline() if line.find("/**********") == -1: # Godot header starts this way |