diff options
| author | Thierry Vignaud <thierry.vignaud@gmail.com> | 2019-07-20 06:36:25 +0200 |
|---|---|---|
| committer | Thierry Vignaud <thierry.vignaud@gmail.com> | 2019-07-20 06:36:25 +0200 |
| commit | 0d78ec170900df342301a5bbe44e7ca883cc0db1 (patch) | |
| tree | 065a85a1680f96b5d2540db507a6737791a934db /emi | |
| parent | dedd026543d23ed6f097535a6124aac440ca37d2 (diff) | |
| download | iurt-0d78ec170900df342301a5bbe44e7ca883cc0db1.tar iurt-0d78ec170900df342301a5bbe44e7ca883cc0db1.tar.gz iurt-0d78ec170900df342301a5bbe44e7ca883cc0db1.tar.bz2 iurt-0d78ec170900df342301a5bbe44e7ca883cc0db1.tar.xz iurt-0d78ec170900df342301a5bbe44e7ca883cc0db1.zip | |
fix timeout message when killing for other reason
Diffstat (limited to 'emi')
0 files changed, 0 insertions, 0 deletions