Merge "Ensure timely termination of all flask servers"
authorpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 19 Mar 2019 06:25:30 +0000 (07:25 +0100)
committerGerrit Code Review <root@osm.etsi.org>
Tue, 19 Mar 2019 06:25:30 +0000 (07:25 +0100)

Trivial merge