diff options
| author |  Christopher Baklid <[email protected]> | 2018-05-27 12:02:02 +0200 |
|---|---|---|
| committer | Christopher Baklid <[email protected]> | 2018-05-27 12:02:02 +0200 |
| commit | e63fd39cb7e0de4fdbfc20ec9e34c6dfedad8fb5 (patch) | |
| tree | 0eeb1e1e2e39cb018d451c904655d2f48bf35c65 /docker | |
| parent | now also captures stderr (diff) | |
kill long running processes after x seconds
Diffstat (limited to 'docker')
0 files changed, 0 insertions, 0 deletions