+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_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)