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 fa1a40f131..5f32506741 100644 --- a/src/testdir/test_channel_pipe.py +++ b/src/testdir/test_channel_pipe.py @@ -16,6 +16,8 @@ if __name__ == "__main__": else: print(sys.argv[1]) sys.stdout.flush() + if sys.argv[1].startswith("quit"): + sys.exit(0) while True: typed = sys.stdin.readline() |