tree 02852f267cf125fb2f9846d2d616d788059c3ef0
parent 3a96602bd1d937ff013b0c4de680e656b4f428d0
author margaretha <margaretha@ids-mannheim.de> 1718781825 +0200
committer margaretha <margaretha@ids-mannheim.de> 1718781886 +0200

Fix some logging to write to file instead of stdout.

Change-Id: I3ea5449aee7d9683017cd03ab3e61d03c9b5bc82