+
+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_pacing_rate(int stream_index, uint32_t pacing_rate)
+{
+ for (int i = 0; i < num_servers; ++i) {
+ servers[i].set_pacing_rate(stream_index, pacing_rate);
+ }
+}
+
+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);
+ }
+}