| commit | e66edf774d84b1bcc0975b34a21e9565528ba42c | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Tue Aug 23 11:11:12 2016 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Tue Aug 23 11:11:12 2016 +0200 |
| tree | 47452b3d47c8004d4aa7c744cf22ca090b0167c8 | |
| parent | 3f15e17fa3e44ee269bd09044f3d130cee6e45b6 [diff] |
Ensure that the dummy GK server is never blocked even if a container stops.