tree dc7be1c66ffb5f97a7dfd35570cf749e4d649223
parent a2ad9ffafff966fbfc17ba1d5782a8ef90807428
author peusterm <manuel.peuster@uni-paderborn.de> 1452589775 +0100
committer peusterm <manuel.peuster@uni-paderborn.de> 1452589775 +0100

improved connection management