Index: Tools/Scripts/webkitpy/layout_tests/controllers/manager.py |
diff --git a/Tools/Scripts/webkitpy/layout_tests/controllers/manager.py b/Tools/Scripts/webkitpy/layout_tests/controllers/manager.py |
index 5fef70088e0fe95f1629917a32412f5e1d4b2f50..d78e198690723d9eb100741bd21b0e0972a4f48c 100644 |
--- a/Tools/Scripts/webkitpy/layout_tests/controllers/manager.py |
+++ b/Tools/Scripts/webkitpy/layout_tests/controllers/manager.py |
@@ -38,6 +38,7 @@ import datetime |
import json |
import logging |
import random |
+import signal |
import sys |
import time |
@@ -249,7 +250,10 @@ class Manager(object): |
results_path = self._filesystem.join(self._results_directory, "results.html") |
self._copy_results_html_file(results_path) |
- if self._options.show_results and (exit_code or (self._options.full_results_html and initial_results.total_failures)): |
+ if initial_results.interrupted: |
+ _INTERRUPTED_EXIT_STATUS = signal.SIGINT + 128 |
+ exit_code = _INTERRUPTED_EXIT_STATUS |
+ elif self._options.show_results and (exit_code or (self._options.full_results_html and initial_results.total_failures)): |
self._port.show_results_html_file(results_path) |
self._printer.print_results(time.time() - start_time, initial_results, summarized_failing_results) |
Dirk Pranke
2013/08/29 17:04:26
I think we probably shouldn't print the results if
|