Shutdown the gRPC server on interrupt.#2658

Merged

pmuetschard merged 1 commit intogoogle:masterfrom pmuetschard:exit

Mar 7, 2019

+18-1

Commits on Mar 7, 2019

Shutdown the gRPC server on interrupt.
pmuetschard
committed