// NOTE: This should be set before any clients are connected!
void set_mark_pool(int stream_index, MarkPool *mark_pool);
+ // Set that the given stream should use the given max pacing rate from now on.
+ // NOTE: This should be set before any clients are connected!
+ void set_pacing_rate(int stream_index, uint32_t pacing_rate);
+
// These will be deferred until the next time an iteration in do_work() happens,
// and the order between them are undefined.
// XXX: header should ideally be ordered with respect to data.