diff options
| author | Marcel Admiraal <madmiraal@users.noreply.github.com> | 2020-09-02 15:58:07 +0100 |
|---|---|---|
| committer | Marcel Admiraal <madmiraal@users.noreply.github.com> | 2020-09-02 15:58:07 +0100 |
| commit | cba4a93a348415b6cce5bc134224bb0b8803963b (patch) | |
| tree | 964068a92644403052d135e6fa9d28a73c15acee /platform_methods.py | |
| parent | 39228830ce726657d4b81a5eab0d68cf9530434d (diff) | |
| download | redot-engine-cba4a93a348415b6cce5bc134224bb0b8803963b.tar.gz | |
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) |