| Index: third_party/WebKit/Tools/Scripts/webkitpy/layout_tests/controllers/manager.py
|
| diff --git a/third_party/WebKit/Tools/Scripts/webkitpy/layout_tests/controllers/manager.py b/third_party/WebKit/Tools/Scripts/webkitpy/layout_tests/controllers/manager.py
|
| index 5639c14189494d944ca834829a03eb650d656da0..15878a426c4be01b01f1fdf12712ee45637306f8 100644
|
| --- a/third_party/WebKit/Tools/Scripts/webkitpy/layout_tests/controllers/manager.py
|
| +++ b/third_party/WebKit/Tools/Scripts/webkitpy/layout_tests/controllers/manager.py
|
| @@ -173,6 +173,9 @@ class Manager(object):
|
| if not tests_to_retry:
|
| break
|
|
|
| + self._stop_servers()
|
| + self._start_servers(tests_to_retry)
|
| +
|
| _log.info('')
|
| _log.info('Retrying %s, attempt %d of %d...',
|
| grammar.pluralize('unexpected failure', len(tests_to_retry)),
|
|
|