Title: [215416] trunk/Tools
- Revision
- 215416
- Author
- jbed...@apple.com
- Date
- 2017-04-17 09:15:56 -0700 (Mon, 17 Apr 2017)
Log Message
webkitpy: Correct poll when killing ServerProcess
Unreviewed infrastructure fix.
* Scripts/webkitpy/port/server_process.py:
(ServerProcess._kill): A polled process equaling 'None' means the process is running.
Modified Paths
Diff
Modified: trunk/Tools/ChangeLog (215415 => 215416)
--- trunk/Tools/ChangeLog 2017-04-17 16:08:20 UTC (rev 215415)
+++ trunk/Tools/ChangeLog 2017-04-17 16:15:56 UTC (rev 215416)
@@ -1,3 +1,12 @@
+2017-04-17 Jonathan Bedard <jbed...@apple.com>
+
+ webkitpy: Correct poll when killing ServerProcess
+
+ Unreviewed infrastructure fix.
+
+ * Scripts/webkitpy/port/server_process.py:
+ (ServerProcess._kill): A polled process equaling 'None' means the process is running.
+
2017-04-17 Eric Carlson <eric.carl...@apple.com>
[MediaStream] Enable getUserMedia API test
Modified: trunk/Tools/Scripts/webkitpy/port/server_process.py (215415 => 215416)
--- trunk/Tools/Scripts/webkitpy/port/server_process.py 2017-04-17 16:08:20 UTC (rev 215415)
+++ trunk/Tools/Scripts/webkitpy/port/server_process.py 2017-04-17 16:15:56 UTC (rev 215416)
@@ -379,7 +379,7 @@
def _kill(self):
self._target_host.executive.kill_process(self._proc.pid)
- if self._proc.poll() is not None:
+ if self._proc.poll() is None:
self._proc.wait()
def replace_outputs(self, stdout, stderr):
_______________________________________________
webkit-changes mailing list
webkit-changes@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-changes