tree 35778f0f7ce53e9572bc926bcefee00fb5b6cf33
parent 09a24fad4acbc380f2743f0ede596285e7647355
author peusterm <manuel.peuster@uni-paderborn.de> 1495011669 +0200
committer peusterm <manuel.peuster@uni-paderborn.de> 1495011669 +0200

Fix: Made API shutdown more robust