aboutsummaryrefslogtreecommitdiffstats
path: root/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ServerLauncher.java
diff options
context:
space:
mode:
Diffstat (limited to 'language-web/src/main/java/org/eclipse/viatra/solver/language/web/ServerLauncher.java')
-rw-r--r--language-web/src/main/java/org/eclipse/viatra/solver/language/web/ServerLauncher.java3
1 files changed, 3 insertions, 0 deletions
diff --git a/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ServerLauncher.java b/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ServerLauncher.java
index d92c7735..a6d58f95 100644
--- a/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ServerLauncher.java
+++ b/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ServerLauncher.java
@@ -8,8 +8,10 @@ import java.io.IOException;
8import java.net.InetSocketAddress; 8import java.net.InetSocketAddress;
9import java.net.URI; 9import java.net.URI;
10import java.net.URISyntaxException; 10import java.net.URISyntaxException;
11import java.util.EnumSet;
11import java.util.Set; 12import java.util.Set;
12 13
14import javax.servlet.DispatcherType;
13import javax.servlet.SessionTrackingMode; 15import javax.servlet.SessionTrackingMode;
14 16
15import org.eclipse.jetty.server.Server; 17import org.eclipse.jetty.server.Server;
@@ -42,6 +44,7 @@ public class ServerLauncher {
42 handler.setWelcomeFiles(new String[] { "index.html" }); 44 handler.setWelcomeFiles(new String[] { "index.html" });
43 addDefaultServlet(handler); 45 addDefaultServlet(handler);
44 } 46 }
47 handler.addFilter(CacheControlFilter.class, "/*", EnumSet.of(DispatcherType.REQUEST));
45 server.setHandler(handler); 48 server.setHandler(handler);
46 } 49 }
47 50