Lunderberg opened a new pull request #9642: URL: https://github.com/apache/tvm/pull/9642
If another server is already running on the port specified, the server attempts to bind to the next available port. Previously, the server would report it's initial attempted port to the tracker, rather than the port that it was able to bind to. After this commit, the server will report the correct port to the tracker. In addition, this commit renames "port_" to "port_search_start_" to avoid similar confusion in the future. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
