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)
commit670ca2e66601100f72d8c0d41a0bf620c2178f6f
tree51488c3db04e54d06646581b1b9a0798ddd1ebb9
parentdf03cc3c2435de3abccf06efaabb7abeb49d5165
parent250741424c1f138ceeddcff90cb9bbbf223a9c52
Merge pull request #241 from mpeuster/master

Improved API shutdown