return from input_echo() when read() returns 0