| Index: third_party/WebKit/Tools/Scripts/webkitpy/layout_tests/servers/server_base.py
|
| diff --git a/third_party/WebKit/Tools/Scripts/webkitpy/layout_tests/servers/server_base.py b/third_party/WebKit/Tools/Scripts/webkitpy/layout_tests/servers/server_base.py
|
| index 16d1dd20e0dfac11f14ef7102ec73ce7d9e67b8e..4cd293534b66a4b7311567a7376d22d7ca591e33 100644
|
| --- a/third_party/WebKit/Tools/Scripts/webkitpy/layout_tests/servers/server_base.py
|
| +++ b/third_party/WebKit/Tools/Scripts/webkitpy/layout_tests/servers/server_base.py
|
| @@ -130,7 +130,7 @@ class ServerBase(object):
|
| return
|
| if self._pid != actual_pid:
|
| _log.warning('Failed to stop %s: pid file contains %d, not %d' %
|
| - (self._name, actual_pid, self._pid))
|
| + (self._name, actual_pid, self._pid))
|
| # Try to kill the existing pid, anyway, in case it got orphaned.
|
| self._executive.kill_process(self._pid)
|
| self._pid = None
|
|
|