tree 321ef39c7c5b87e850f0a25effbc8adc8987733f
parent 35e1ca2e988c03cd372b69383ed5da995f0eaf06
author margaretha <margaretha@ids-mannheim.de> 1700252872 +0100
committer margaretha <margaretha@ids-mannheim.de> 1701077163 +0100

Fixed ShutdownHandler (fixed #708)

Change-Id: Icf93f0f8766c505c330bbf168652f567fa40c908