diff options
author | Vijay Pai <vpai@google.com> | 2018-03-13 09:53:28 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-13 09:53:28 -0700 |
commit | 3c3c4c913a9f15e17f89c0c39146314445d5d93d (patch) | |
tree | 55e96bebd70e6473b6f8e2082ab9e2f54dd6bedd /include/grpcpp/server.h | |
parent | 589e2cfe098d6e98d1bfe79c72eb1c4d41a72c01 (diff) |
Update server.h
Diffstat (limited to 'include/grpcpp/server.h')
-rw-r--r-- | include/grpcpp/server.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/include/grpcpp/server.h b/include/grpcpp/server.h index 6056003fcd..e88e7966dc 100644 --- a/include/grpcpp/server.h +++ b/include/grpcpp/server.h @@ -204,7 +204,6 @@ class Server : public ServerInterface, private GrpcLibraryCodegen { // Server status std::mutex mu_; - bool started_; bool shutdown_; bool shutdown_notified_; // Was notify called on the shutdown_cv_ |