Method terminate

python/tvm/rpc/proxy.py:653–658

Terminate the server process

(self)

        self.host = host

    def terminate(self):
        """Terminate the server process"""
        if self.proc:
            logging.info("Terminating Proxy Server...")
            self.proc.kill()
            self.proc = None

    def __del__(self):
        try: