Method terminate

python/tvm/rpc/server.py:549–553

Terminate the server process

(self)

        self.host = host

    def terminate(self):
        """Terminate the server process"""
        if self.proc:
            self.proc.kill()
            self.proc = None

    def __del__(self):
        try: