diff options
author | 2016-05-21 12:39:56 -0700 | |
---|---|---|
committer | 2016-05-21 12:39:56 -0700 | |
commit | fa96d86a99137fc5a3581413c752603ffa731b93 (patch) | |
tree | 821bb7d85de287fdc3ea13d1760ee5e22fccba52 /src/cpp/server/server_builder.cc | |
parent | 3f3312e7e92892c6625feecded6fbf09815689f0 (diff) |
Fix comments
Diffstat (limited to 'src/cpp/server/server_builder.cc')
-rw-r--r-- | src/cpp/server/server_builder.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/cpp/server/server_builder.cc b/src/cpp/server/server_builder.cc index 5966e548b0..54feac3982 100644 --- a/src/cpp/server/server_builder.cc +++ b/src/cpp/server/server_builder.cc @@ -119,6 +119,7 @@ std::unique_ptr<Server> ServerBuilder::BuildAndStart() { for (auto plugin = plugins_.begin(); plugin != plugins_.end(); plugin++) { if ((*plugin).second->has_sync_methods()) { thread_pool.reset(CreateDefaultThreadPool()); + has_sync_methods = true; break; } } |