diff options
author | Pascal Terjan <pterjan@mageia.org> | 2018-10-14 21:23:06 +0000 |
---|---|---|
committer | Pascal Terjan <pterjan@mageia.org> | 2018-10-14 21:23:06 +0000 |
commit | 71c0127b2afcfa59a780926dfd05605133b833fb (patch) | |
tree | 4155698338052e1ed906fb9392290cc5bb472857 /t | |
parent | 38c5d9234ba38a96d59265f7256b22ca44543ec0 (diff) | |
download | iurt-71c0127b2afcfa59a780926dfd05605133b833fb.tar iurt-71c0127b2afcfa59a780926dfd05605133b833fb.tar.gz iurt-71c0127b2afcfa59a780926dfd05605133b833fb.tar.bz2 iurt-71c0127b2afcfa59a780926dfd05605133b833fb.tar.xz iurt-71c0127b2afcfa59a780926dfd05605133b833fb.zip |
Try killing the build when ulri sees a timeout
This only matters if the build node for some reason has a larger
timeout than the main config, in which case we were forgetting about
it.
Diffstat (limited to 't')
0 files changed, 0 insertions, 0 deletions