tree 737f9aea64f99dc3dfc8b6c030103117e0feced6
parent 58873398f60bddf67bf972976d94683fb5a77a75
author margaretha <margaretha@ids-mannheim.de> 1561629986 +0200
committer margaretha <margaretha@ids-mannheim.de> 1561637999 +0200

Updated Jetty version, fixed the server hanging problem.

Change-Id: Ic75ad60cc5e120ae08ea94b986a57c5d88f1ce5e