diff options
| author | David Snopek <dsnopek@gmail.com> | 2024-06-25 09:42:55 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-25 09:42:55 -0500 |
| commit | 7d7799b56ed7dfdae1454f246a98cf35601cc053 (patch) | |
| tree | 5f6385831fb7de70386c761907d9f4eb023155f6 /misc/scripts/check_ci_log.py | |
| parent | 90c6ea2a126a4238d87b3f9472ca16cf84e76102 (diff) | |
| parent | e0d363aad8e2204fe8ca4b6937ef2ad74a7b293b (diff) | |
| download | redot-cpp-7d7799b56ed7dfdae1454f246a98cf35601cc053.tar.gz | |
Merge pull request #1504 from Repiteo/pre-commit-hooks
Replace legacy hooks with `pre-commit` Python tool
Diffstat (limited to 'misc/scripts/check_ci_log.py')
| -rwxr-xr-x | misc/scripts/check_ci_log.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/misc/scripts/check_ci_log.py b/misc/scripts/check_ci_log.py index 2c75b83..d024a3e 100755 --- a/misc/scripts/check_ci_log.py +++ b/misc/scripts/check_ci_log.py @@ -9,8 +9,8 @@ if len(sys.argv) < 2: fname = sys.argv[1] -fileread = open(fname.strip(), "r") -file_contents = fileread.read() +with open(fname.strip(), "r", encoding="utf-8") as fileread: + file_contents = fileread.read() # If find "ERROR: AddressSanitizer:", then happens invalid read or write # This is critical bug, so we need to fix this as fast as possible @@ -25,6 +25,8 @@ if ( file_contents.find("Program crashed with signal") != -1 or file_contents.find("Dumping the backtrace") != -1 or file_contents.find("Segmentation fault (core dumped)") != -1 + or file_contents.find("Aborted (core dumped)") != -1 + or file_contents.find("terminate called without an active exception") != -1 ): print("FATAL ERROR: Godot has been crashed.") sys.exit(52) |