tree 540c06de59fea5738ecf62ee0354be4906653b4e
parent e01cffc58fd530aa1b9d7ddb1b6d0d0e4624c579
parent 8dbc2364b3b68bbf7e43eac3dea8e4d79e649d1d
author Jan Tattermusch <jtattermusch@users.noreply.github.com> 1507277178 +0200
committer GitHub <noreply@github.com> 1507277178 +0200

Merge pull request #12841 from jtattermusch/report_elapsed_on_timeout

jobset.py: report elapsed time for jobs that time out