diff options
| author |  Jan Tattermusch <jtattermusch@google.com> | 2017-10-16 16:01:12 +0200 |
|---|---|---|
| committer | Jan Tattermusch <jtattermusch@google.com> | 2017-10-16 16:01:12 +0200 |
| commit | 3d1b6c1035f006292a8631c5423c44089da9ad03 (patch) | |
| tree | d9667e73d07e8f3ed4107c3fb7eb8922b6f7993e /tools | |
| parent | 376dc34d78414c038f56a575a39706a91cf4f8ab (diff) | |
explain retries and jobset.max_time setting
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/run_tests/python_utils/jobset.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/run_tests/python_utils/jobset.py b/tools/run_tests/python_utils/jobset.py index 658b814d81..85eef444ef 100755 --- a/tools/run_tests/python_utils/jobset.py +++ b/tools/run_tests/python_utils/jobset.py @@ -302,6 +302,7 @@ class Job(object): self._retries += 1 self.result.num_failures += 1 self.result.retries = self._timeout_retries + self._retries + # NOTE: job is restarted regardless of jobset's max_time setting self.start() else: self._state = _FAILURE @@ -344,6 +345,7 @@ class Job(object): if self._spec.kill_handler: self._spec.kill_handler(self) self._process.terminate() + # NOTE: job is restarted regardless of jobset's max_time setting self.start() else: message('TIMEOUT', '%s [pid=%d, time=%.1fsec]' % (self._spec.shortname, self._process.pid, elapsed), stdout(), do_newline=True) |