Merge pull request #166 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 23 Aug 2016 11:23:43 +0000 (13:23 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 23 Aug 2016 11:23:43 +0000 (13:23 +0200)
commitf90c1f70bbb59ab940dd7698f784594b0927baaf
tree47452b3d47c8004d4aa7c744cf22ca090b0167c8
parent3f15e17fa3e44ee269bd09044f3d130cee6e45b6
parente66edf774d84b1bcc0975b34a21e9565528ba42c
Merge pull request #166 from mpeuster/master

Ensure that the dummy GK server is never blocked even if a container …