| commit | f90c1f70bbb59ab940dd7698f784594b0927baaf | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Tue Aug 23 13:23:43 2016 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Tue Aug 23 13:23:43 2016 +0200 |
| tree | 47452b3d47c8004d4aa7c744cf22ca090b0167c8 | |
| parent | 3f15e17fa3e44ee269bd09044f3d130cee6e45b6 [diff] | |
| parent | e66edf774d84b1bcc0975b34a21e9565528ba42c [diff] |
Merge pull request #166 from mpeuster/master Ensure that the dummy GK server is never blocked even if a container …