- // Older versions did not store the stream header in the input,
- // only in each stream. We need to have the stream header in the
- // input as well, in case we create a new stream reusing the same input.
- // Thus, we put it into place here if it's missing.
- if (!serialized_input.has_stream_header() &&
- stream_headers_for_url.count(serialized_input.url()) != 0) {
- serialized_input.set_stream_header(stream_headers_for_url[serialized_input.url()]);
- }
-