HomeSort by relevance Sort by last modified time
    Searched refs:server_pid (Results 1 - 8 of 8) sorted by null

  /external/webkit/Tools/Scripts/webkitpy/layout_tests/port/
gtk.py 63 def _shut_down_http_server(self, server_pid):
68 server_pid: The process ID of the running server.
70 # server_pid is not set when "http_server.py stop" is run manually.
71 if server_pid is None:
78 os.kill(server_pid, signal.SIGTERM)
qt.py 77 def _shut_down_http_server(self, server_pid):
82 server_pid: The process ID of the running server.
84 # server_pid is not set when "http_server.py stop" is run manually.
85 if server_pid is None:
92 os.kill(server_pid, signal.SIGTERM)
win.py 67 def _shut_down_http_server(self, server_pid):
72 server_pid: The process ID of the running server.
74 # Looks like we ignore server_pid.
chromium_mac.py 172 def _shut_down_http_server(self, server_pid):
177 server_pid: The process ID of the running server.
179 # server_pid is not set when "http_server.py stop" is run manually.
180 if server_pid is None:
188 os.kill(server_pid, signal.SIGTERM)
mac.py 141 def _shut_down_http_server(self, server_pid):
146 server_pid: The process ID of the running server.
148 # server_pid is not set when "http_server.py stop" is run manually.
149 if server_pid is None:
156 os.kill(server_pid, signal.SIGTERM)
chromium_linux.py 213 def _shut_down_http_server(self, server_pid):
218 server_pid: The process ID of the running server.
220 # server_pid is not set when "http_server.py stop" is run manually.
221 if server_pid is None:
229 os.kill(server_pid, signal.SIGTERM)
chromium_win.py 177 def _shut_down_http_server(self, server_pid):
182 server_pid: The process ID of the running server.
184 # FIXME: Why are we ignoring server_pid and calling
  /external/webkit/Tools/iExploder/iexploder-1.7.2/src/
browser_harness.rb 55 @server_pid = launch_server()
162 kill_pids([@server_pid])
280 kill_pids([@server_pid])
281 @server_pid = launch_server()

Completed in 200 milliseconds