tree f1e2300b445624d2acd8d448c40dc5f06788f63f
parent ce3d3581b025042ccdd738db440c8a0f96328791
author peusterm <manuel.peuster@uni-paderborn.de> 1498478931 +0200
committer peusterm <manuel.peuster@uni-paderborn.de> 1498478931 +0200

Bugfix: Log in exception part causes crash