diff options
| author | Florian Dold <florian.dold@gmail.com> | 2016-10-11 14:08:41 +0200 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2016-10-11 14:51:58 +0200 |
| commit | 49ec724049faa043966d0b392644e86638b8203e (patch) | |
| tree | 88ce8f065b464bf6a763a7374d6878acda44a5fb /Makefile | |
| parent | 31bddb98c60e34bb161f08c576f7d7437dbbe15c (diff) | |
Terminate workers after timeout, handle errors
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions