mirror/godot
2
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-03-07 23:32:58 +08:00
Code Issues Packages Projects Releases Wiki Activity

fixed crash when file too short

Browse Source
This commit is contained in:
Andrew 2024-12-08 01:57:49 -05:00
parent aa8d9b83f6
commit 7558bed893
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
misc/scripts/header_guards.py
View File

@ -36,11 +36,16 @@ for file in sys.argv[1:]:
break
if HEADER_CHECK_OFFSET < 0:
invalid.append(file)
continue
HEADER_BEGIN_OFFSET = HEADER_CHECK_OFFSET + 1
HEADER_END_OFFSET = len(lines) - 1
if HEADER_BEGIN_OFFSET >= HEADER_END_OFFSET:
invalid.append(file)
continue
split = file.split("/") # Already in posix-format.
prefix = ""