+
+void ServerPool::stop()
+{
+ for (int i = 0; i < num_servers; ++i) {
+ servers[i].stop();
+ }
+}
+
+vector<ClientStats> ServerPool::get_client_stats() const
+{
+ vector<ClientStats> ret;
+ for (int i = 0; i < num_servers; ++i) {
+ vector<ClientStats> stats = servers[i].get_client_stats();
+ ret.insert(ret.end(), stats.begin(), stats.end());
+ }
+ return ret;
+}
+
+void ServerPool::set_mark_pool(int stream_index, MarkPool *mark_pool)
+{
+ for (int i = 0; i < num_servers; ++i) {
+ servers[i].set_mark_pool(stream_index, mark_pool);
+ }
+}
+
+void ServerPool::set_backlog_size(int stream_index, size_t new_size)
+{
+ for (int i = 0; i < num_servers; ++i) {
+ servers[i].set_backlog_size(stream_index, new_size);
+ }
+}
+
+void ServerPool::set_encoding(int stream_index, Stream::Encoding encoding)
+{
+ for (int i = 0; i < num_servers; ++i) {
+ servers[i].set_encoding(stream_index, encoding);
+ }
+}