diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-09-02 17:28:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-02 17:28:00 +0200 |
| commit | a3f5dac84f3416cf81dd69d90bf52eeacc63955a (patch) | |
| tree | f40d4a754fb10d5221eb2fb217141f85d535f8f3 /platform_methods.py | |
| parent | 358e209fa049887fd4212c52c9faba0ca9d6e111 (diff) | |
| parent | cba4a93a348415b6cce5bc134224bb0b8803963b (diff) | |
| download | redot-engine-a3f5dac84f3416cf81dd69d90bf52eeacc63955a.tar.gz | |
Merge pull request #41708 from madmiraal/fix-python-syntax
Merge python EnvironmentError, IOError and WindowsError into OSError.
Diffstat (limited to 'platform_methods.py')
| -rw-r--r-- | platform_methods.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/platform_methods.py b/platform_methods.py index ec394d76d8..be4957475d 100644 --- a/platform_methods.py +++ b/platform_methods.py @@ -55,7 +55,7 @@ def run_in_subprocess(builder_function): finally: try: os.remove(json_path) - except (OSError, IOError) as e: + except OSError as e: # Do not fail the entire build if it cannot delete a temporary file print( "WARNING: Could not delete temporary file: path=%r; [%s] %s" % (json_path, e.__class__.__name__, e) |