diff options
Diffstat (limited to 'Tools/Scripts/webkitpy/common/system/file_lock.py')
| -rw-r--r-- | Tools/Scripts/webkitpy/common/system/file_lock.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Tools/Scripts/webkitpy/common/system/file_lock.py b/Tools/Scripts/webkitpy/common/system/file_lock.py index fb853c8fb..b4bfffc40 100644 --- a/Tools/Scripts/webkitpy/common/system/file_lock.py +++ b/Tools/Scripts/webkitpy/common/system/file_lock.py @@ -71,6 +71,8 @@ class FileLock(object): os.close(self._lock_file_descriptor) self._lock_file_descriptor = None return False + # There's no compelling reason to spin hard here, so sleep for a bit. + time.sleep(0.01) def release_lock(self): try: |