Index: Tools/Scripts/webkitpy/layout_tests/run_webkit_tests.py |
diff --git a/Tools/Scripts/webkitpy/layout_tests/run_webkit_tests.py b/Tools/Scripts/webkitpy/layout_tests/run_webkit_tests.py |
index 1f22807b5ab9aab447f8c421d9ed1c4072cf171c..f0948025165dfb1c22e6ffcb0f1e136ea1bbcb15 100644 |
--- a/Tools/Scripts/webkitpy/layout_tests/run_webkit_tests.py |
+++ b/Tools/Scripts/webkitpy/layout_tests/run_webkit_tests.py |
@@ -365,6 +365,9 @@ def run(port, options, args, logging_stream): |
run_details = manager.run(args) |
_log.debug("Testing completed, Exit status: %d" % run_details.exit_code) |
+ # Print the location of results.html in case of interrupted run. |
+ if run_details.initial_results and run_details.initial_results.keyboard_interrupted and run_details.results: |
+ printer.writeln('run-webkit-tests iteration result stored at file://' + run_details.results) |
Dirk Pranke
2013/10/21 18:38:48
I would probably change the output to something li
|
return run_details |
finally: |
printer.cleanup() |