Re: [PATCH] Fix Windows sharing_input_terminal hang

Tom Tromey
2023-08-22T15:39:26Z

>>>>> "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