>>>>> "Pedro" == Pedro Alves <pedro@palves.net> writes: Pedro> In this case, the buffer wasn't too small, it was exactly the right Pedro> size, so we should have broken out of the loop. We didn't due to a Pedro> "<" check that should have been "<=". That is fixed by this patch. Looks good to me. Approved-By: Tom Tromey <tom@tromey.com> Tom