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 /lib/Iurt | |
| 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 'lib/Iurt')
0 files changed, 0 insertions, 0 deletions