def terminate_local_process(runner, process):
ret = process.poll()
if ret is None:
runner.write("Killing local process...")
kill_process(process)
else:
runner.write("Local process is already dead (ret={})".format(ret))
def terminate_if_alive():
runner.write("Shutting down local process...\n")
if p.poll() is None:
runner.write("Killing local process...\n")
kill_process(p)
def terminate_local_process(runner, process):
if process.poll() is None:
runner.write("Killing local process...")
kill_process(process)
def kill(self) -> None:
if self.killer is None:
self.killer = lambda: kill_process(self.process)
self.killer()
self.process.wait()
