diff options
Diffstat (limited to 'src/testdir/test_channel_pipe.py')
| -rw-r--r-- | src/testdir/test_channel_pipe.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/testdir/test_channel_pipe.py b/src/testdir/test_channel_pipe.py index 495fa80124..5994d27ffd 100644 --- a/src/testdir/test_channel_pipe.py +++ b/src/testdir/test_channel_pipe.py @@ -21,4 +21,7 @@ if __name__ == "__main__": if typed.startswith("echo"): print(typed[5:-1]) sys.stdout.flush() + if typed.startswith("double"): + print(typed[7:-1] + "\nAND " + typed[7:-1]) + sys.stdout.flush() |