0001-Server-add-gzip-support.patch

diff --git a/OpenRobertaParent/pom.xml b/OpenRobertaParent/pom.xml
index 14724d7..79f862e 100644
--- a/OpenRobertaParent/pom.xml
+++ b/OpenRobertaParent/pom.xml
@@ -144,6 +144,11 @@
                 <version>${jetty.version}</version>
             </dependency>
             <dependency>
+                <groupId>org.eclipse.jetty</groupId>
+                <artifactId>jetty-servlets</artifactId>
+                <version>${jetty.version}</version>
+            </dependency>
+            <dependency>
                 <groupId>org.eclipse.jetty.websocket</groupId>
                 <artifactId>websocket-server</artifactId>
                 <version>${jetty.version}</version>
diff --git a/OpenRobertaServer/pom.xml b/OpenRobertaServer/pom.xml
index f7dc2c5..ffa449f 100644
--- a/OpenRobertaServer/pom.xml
+++ b/OpenRobertaServer/pom.xml
@@ -32,6 +32,10 @@
 			<artifactId>jetty-servlet</artifactId>
 		</dependency>
 		<dependency>
+			<groupId>org.eclipse.jetty</groupId>
+			<artifactId>jetty-servlets</artifactId>
+		</dependency>
+		<dependency>
 			<groupId>org.eclipse.jetty.websocket</groupId>
 			<artifactId>websocket-server</artifactId>
 		</dependency>
diff --git a/OpenRobertaServer/src/main/java/de/fhg/iais/roberta/main/ServerStarter.java b/OpenRobertaServer/src/main/java/de/fhg/iais/roberta/main/ServerStarter.java
index 1aaad93..0900e00 100644
--- a/OpenRobertaServer/src/main/java/de/fhg/iais/roberta/main/ServerStarter.java
+++ b/OpenRobertaServer/src/main/java/de/fhg/iais/roberta/main/ServerStarter.java
@@ -6,6 +6,7 @@ import java.util.Properties;
 import org.eclipse.jetty.server.Handler;
 import org.eclipse.jetty.server.Server;
 import org.eclipse.jetty.server.ServerConnector;
+import org.eclipse.jetty.server.handler.gzip.GzipHandler;
 import org.eclipse.jetty.server.handler.HandlerList;
 import org.eclipse.jetty.server.handler.ResourceHandler;
 import org.eclipse.jetty.server.session.HashSessionManager;
@@ -111,6 +112,11 @@ public class ServerStarter {
 
         RobertaGuiceServletConfig robertaGuiceServletConfig = new RobertaGuiceServletConfig(this.properties);
 
+        GzipHandler gzipHandler = new GzipHandler();
+        gzipHandler.setIncludedMimeTypes("text/html", "text/xml", "text/css",
+            "application/javascript", "text/javascript", "image/svg+xml");
+        gzipHandler.setHandler(myHandler);
+
         // REST API with /rest/<version>/ prefix
         ServletContextHandler versionedHttpHandler = new ServletContextHandler(ServletContextHandler.SESSIONS);
         versionedHttpHandler.setContextPath("/rest");
@@ -150,6 +156,7 @@ public class ServerStarter {
 
         HandlerList handlers = new HandlerList();
         handlers.setHandlers(new Handler[] {
+            gzipHandler,
             staticResourceHandler,
             versionedHttpHandler,
             wsHandler,
-- 
2.8.0.rc3.226.g39d4020