tree 6e964e4666ea2d28b753400e6572dcca1785d18c
parent 36e35da7bdb851fd08d8da63327dd938a39c212e
author Helge <stallkamp@ids-mannheim.de> 1700579948 +0100
committer Helge <stallkamp@ids-mannheim.de> 1700669767 +0100

Stops jettyServer before destroying it

Change-Id: I34e3d076fdff654d0cf021dac90f5ef15d276098