Closed rom1v closed 1 year ago
If read_exact() finishes early (end of stream), report the number of bytes actually read.
read_exact()
(note: this breaks the API)
Fixes #1663
Thanks!
If
read_exact()
finishes early (end of stream), report the number of bytes actually read.(note: this breaks the API)
Fixes #1663