diff options
| -rwxr-xr-x | run_project_tests.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/run_project_tests.py b/run_project_tests.py index 07e7ddb..e91fbb7 100755 --- a/run_project_tests.py +++ b/run_project_tests.py @@ -58,9 +58,10 @@ class AutoDeletedDir(): try: shutil.rmtree(self.dir) return - except OSError: + except (OSError, PermissionError): if i == retries - 1: - raise + mlog.warning('Could not delete temporary directory.') + return time.sleep(0.1 * (2**i)) failing_logs = [] |