commit | 35cde99212ece5cde100a905f94974ffb6f18be9 | [log] [tgz] |
---|---|---|
author | Mehrdad Afshari <mehrdada@users.noreply.github.com> | Wed Aug 22 07:40:29 2018 -0700 |
committer | GitHub <noreply@github.com> | Wed Aug 22 07:40:29 2018 -0700 |
tree | ebcd5014ec6ccb91b518354ee48b03f41015a824 | |
parent | 82bc60c0e13bfb00213b3a94ba72893d044e4c9a [diff] | |
parent | 0aa1bd2ed481f12b1d6348b4bf0a19093eafc7fb [diff] |
Merge pull request #16421 from mehrdada/stricter-api-contract-for-grpc-server Ensure thread_pool is not None for grpc.Server