tree d9bc0762c690c513fb72b5dfd70c57c39858c18c
parent 7490ae7e61163eff46c2743fd33781b434de232a
author Gregory Smith <gps@google.com> 1427273131 -0700
committer Gregory Smith <gps@google.com> 1427273131 -0700

Make GetPortFromPortServer() a public API.

It was formerly internal only.

Normal users should just use PickUnusedPort() but there are rare times
when a test framework _only_ wants a port if it came from a specific server.