diff options
| author |  Vijay Pai <vpai@google.com> | 2015-07-15 12:33:37 -0700 |
|---|---|---|
| committer | Vijay Pai <vpai@google.com> | 2015-07-15 12:33:37 -0700 |
| commit | 69f241008645503e1241272f279dc7f02e183e87 (patch) | |
| tree | f0b362239414ee80c6f00a90389ce1c46b100928 /build.json | |
| parent | e6d12d335c160b02a8f866775ffe953962f5988f (diff) | |
Make thread_pool.h a public header
Rename ThreadPool -> FixedSizeThreadPool to allow for later introduction
of DynamicSizeThreadPool
Diffstat (limited to 'build.json')
| -rw-r--r-- | build.json | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build.json b/build.json index 121637204e..cb4971eb1f 100644 --- a/build.json +++ b/build.json @@ -64,13 +64,13 @@ "include/grpc++/status.h", "include/grpc++/status_code_enum.h", "include/grpc++/stream.h", + "include/grpc++/thread_pool.h", "include/grpc++/thread_pool_interface.h", "include/grpc++/time.h" ], "headers": [ "src/cpp/client/channel.h", - "src/cpp/common/create_auth_context.h", - "src/cpp/server/thread_pool.h" + "src/cpp/common/create_auth_context.h" ], "src": [ "src/cpp/client/channel.cc", |