Rework get_string() to make it more robust when fetching strings of unknown
length. In particular, instead of blinding fetching 1k blocks, do an initial
fetch up to the end of the current page followed by page-sized fetches up to
the maximum size. Previously if the 1k buffer crossed a page boundary and
the second page was not valid, the entire operation would fail.
Description
Description
Details
Details
- Provenance
jhb Authored on - Parents
- rS286330: Whitespace fix: remove some spurious spaces before commas.
- Branches
- Unknown
- Tags