tree 45db7535ed272f83f41299241e46c22c61bb7f06
parent 8f525a261f604ec51c1fa6d25522055bd5bbe554
author margaretha <margaretha@ids-mannheim.de> 1542107693 +0100
committer margaretha <margaretha@ids-mannheim.de> 1542107693 +0100

Added Shutdown handler to Jetty server and fixed NamedVCLoader.

Change-Id: I18fe51031103deb966843cc248e154011efb8abe