Merge pull request #241 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 21 Aug 2017 15:08:15 +0000 (17:08 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 21 Aug 2017 15:08:15 +0000 (17:08 +0200)
Improved API shutdown


Trivial merge