tree 96e7a64e4b664b7ac7f64eb35782d92a4817fa9a
parent 95509a6f55c63b72541fa390f7dda7fab2fa3210
author Paul Jakma <paul@jakma.org> 1482773126 +0000
committer Paul Jakma <paul@quagga.net> 1485197512 +0000

lib/stream: Add stream_discard, to discard read data from a stream

* stream.c: (stream_discard) Discard the already data from a stream, as
  indicated by the getp. Move remaining, unread data, to the beginning of
  the stream. get and end stream pointers are updated as appropriate.

  If all data has been consumed, then this behaves identically to
  stream_reset.