diff options
Diffstat (limited to 'src/testdir/test_channel_pipe.py')
-rw-r--r-- | src/testdir/test_channel_pipe.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/testdir/test_channel_pipe.py b/src/testdir/test_channel_pipe.py index 5caffcbf9e..5202908e7e 100644 --- a/src/testdir/test_channel_pipe.py +++ b/src/testdir/test_channel_pipe.py @@ -29,6 +29,8 @@ if __name__ == "__main__": while True: typed = sys.stdin.readline() + if typed == "": # EOF -- stop + break if typed.startswith("quit"): print("Goodbye!") sys.stdout.flush() |