| Index: dart/tools/testing/run_selenium.py
|
| diff --git a/dart/tools/testing/run_selenium.py b/dart/tools/testing/run_selenium.py
|
| index 001c088a3b9293101defa824369f16a2c5bc6074..e97963e81ebbc02d57af81e8918bbc201fcda93a 100755
|
| --- a/dart/tools/testing/run_selenium.py
|
| +++ b/dart/tools/testing/run_selenium.py
|
| @@ -319,13 +319,13 @@ def run_batch_tests():
|
| sys.stdin.close()
|
| print("Closing browser");
|
|
|
| - def close_output_streams:
|
| + def close_output_streams():
|
| sys.stdout.flush()
|
| sys.stdout.close()
|
| sys.stderr.flush()
|
| sys.stderr.close()
|
|
|
| - def close_and_exit:
|
| + def close_and_exit():
|
| print("Timed out waiting for browser to close")
|
| close_output_streams()
|
| exit(1)
|
|
|