| commit | f88a31dacf0bfa8dba7357d866c3e5bdece8c05c | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Wed May 17 11:01:09 2017 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Wed May 17 11:01:09 2017 +0200 |
| tree | 35778f0f7ce53e9572bc926bcefee00fb5b6cf33 | |
| parent | 09a24fad4acbc380f2743f0ede596285e7647355 [diff] |
Fix: Made API shutdown more robust