| Index: third_party/WebKit/Tools/Scripts/webkitpy/common/system/executive.py
|
| diff --git a/third_party/WebKit/Tools/Scripts/webkitpy/common/system/executive.py b/third_party/WebKit/Tools/Scripts/webkitpy/common/system/executive.py
|
| index 30c3a8c744eb902d4c7b7e4180700a0e932a06e8..25bb0060c32999f2f316bff4ae78554d098ba1a8 100644
|
| --- a/third_party/WebKit/Tools/Scripts/webkitpy/common/system/executive.py
|
| +++ b/third_party/WebKit/Tools/Scripts/webkitpy/common/system/executive.py
|
| @@ -205,6 +205,7 @@ class Executive(object):
|
|
|
| def check_running_pid(self, pid):
|
| """Return True if pid is alive, otherwise return False."""
|
| + _log.debug('Checking whether pid %d is alive.', pid)
|
| if sys.platform == 'win32':
|
| return self._win32_check_running_pid(pid)
|
|
|
|
|