diff options
author | Daniel Neus <[email protected]> | 2015-12-18 19:53:20 +0100 |
---|---|---|
committer | Daniel Neus <[email protected]> | 2015-12-18 19:53:20 +0100 |
commit | 001defdee387087ab35946f148549f4eeb9cddfb (patch) | |
tree | 2d8144749ffcf44109b72b59c0125b3dc7c4999f /configure.py | |
parent | 86630976bbb1442750177f4c3c392eab5c65db98 (diff) |
decrease timeout between attempts to 100ms
Diffstat (limited to 'configure.py')
-rwxr-xr-x | configure.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/configure.py b/configure.py index 6c50bb596..f231a54a9 100755 --- a/configure.py +++ b/configure.py @@ -1948,11 +1948,11 @@ def main(argv = None): shutil.rmtree(path) return except OSError, e: - time.sleep(i) + time.sleep(0.1) # Final attempt, pass any Exceptions up to caller. shutil.rmtree(path) - + def robust_makedirs(dir, max_retries=5): for i in range(max_retries): try: @@ -1960,9 +1960,9 @@ def main(argv = None): return except OSError, e: if e.errno == errno.EEXIST: - return + return else: - time.sleep(i) + time.sleep(0.1) # Final attempt, pass any Exceptions up to caller. os.makedirs(dir) |