tree 8fac333904b1b0ac43c3e44c11cac33323c9c47b
parent 63656052607e478e04b2ff75777c6372e04abd99
author margaretha <margaretha@ids-mannheim.de> 1542113817 +0100
committer margaretha <margaretha@ids-mannheim.de> 1542113860 +0100

Added shutdown handler.

Change-Id: I36e63692937135cecf69688fbca73b2a000042e1