Searched defs:push_id (Results 1 – 2 of 2) sorted by relevance
323 let push_id = b.get_varint()?; in parse_push_promise() localVariable
833 let push_id = stream.try_consume_varint().unwrap(); in push_good() localVariable