diff options
| author |  yang-g <yangg@google.com> | 2016-12-27 15:31:57 -0800 |
|---|---|---|
| committer | yang-g <yangg@google.com> | 2016-12-27 15:37:59 -0800 |
| commit | 9bef0740a4ad649b6eb7438fc9575dfc1e98250e (patch) | |
| tree | f2a9340f27ab1f28db9d1fe2dca852b12c676d95 /include/grpc++/ext | |
| parent | 4eaf96920f7949cdf7f0d81973769cb6bc42bcaf (diff) | |
Add test for explicit option
Diffstat (limited to 'include/grpc++/ext')
| -rw-r--r-- | include/grpc++/ext/health_check_service_server_builder_option.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/grpc++/ext/health_check_service_server_builder_option.h b/include/grpc++/ext/health_check_service_server_builder_option.h index e00c4c3dd5..6a8fd94317 100644 --- a/include/grpc++/ext/health_check_service_server_builder_option.h +++ b/include/grpc++/ext/health_check_service_server_builder_option.h @@ -47,7 +47,7 @@ class HealthCheckServiceServerBuilderOption : public ServerBuilderOption { // Use nullptr to disable default service. explicit HealthCheckServiceServerBuilderOption( std::unique_ptr<HealthCheckServiceInterface> hc); - ~HealthCheckServiceServerBuilderOption() {} + ~HealthCheckServiceServerBuilderOption() override {} void UpdateArguments(ChannelArguments* args) override; void UpdatePlugins(std::vector<std::unique_ptr<ServerBuilderPlugin>>* plugins) override; private: |