diff options
Diffstat (limited to 'Tools/Scripts/webkitpy/common/system/executive.py')
| -rw-r--r-- | Tools/Scripts/webkitpy/common/system/executive.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Tools/Scripts/webkitpy/common/system/executive.py b/Tools/Scripts/webkitpy/common/system/executive.py index f1a401268..b1d239090 100644 --- a/Tools/Scripts/webkitpy/common/system/executive.py +++ b/Tools/Scripts/webkitpy/common/system/executive.py @@ -215,6 +215,9 @@ class Executive(object): if e.errno == errno.ECHILD: # Can't wait on a non-child process, but the kill worked. return + if e.errno == errno.EACCES and sys.platform == 'cygwin': + # Cygwin python sometimes can't kill native processes. + return raise def _win32_check_running_pid(self, pid): |