diff options
Diffstat (limited to 'testing/runner.py')
-rw-r--r-- | testing/runner.py | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/testing/runner.py b/testing/runner.py index 3db84c0fc..83b7b08e6 100644 --- a/testing/runner.py +++ b/testing/runner.py @@ -185,15 +185,18 @@ class TestRunner(object): # 'for line in input:' would read into too large chunks labelled = True + # make sure that this text is not found in a traceback of the runner! + text_a = "BEGIN" "_FILE" + text_z = "END" "_FILE" while True: line = input.readline() if not line: break - if line.startswith('BEGIN_FILE'): + if line.startswith(text_a): labelled = False txt = line.rstrip() xprint(label, txt) if label and labelled else xprint(txt) - if line.startswith('END_FILE'): + if line.startswith(text_z): labelled = True tee_src = dedent("""\ |