--- server/etc/jetty-http.xml.bak 2016-09-01 16:16:13.027176858 +0200 +++ server/etc/jetty-http.xml 2016-09-01 16:16:40.498173610 +0200 @@ -33,7 +33,7 @@ - + @@ -44,4 +44,4 @@ - \ No newline at end of file +