aboutsummaryrefslogtreecommitdiffstats
path: root/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemServlet.java
diff options
context:
space:
mode:
Diffstat (limited to 'language-web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemServlet.java')
-rw-r--r--language-web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemServlet.java2
1 files changed, 0 insertions, 2 deletions
diff --git a/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemServlet.java b/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemServlet.java
index 337df54b..18b86ade 100644
--- a/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemServlet.java
+++ b/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemServlet.java
@@ -4,7 +4,6 @@
4package org.eclipse.viatra.solver.language.web; 4package org.eclipse.viatra.solver.language.web;
5 5
6import javax.servlet.ServletException; 6import javax.servlet.ServletException;
7import javax.servlet.annotation.WebServlet;
8 7
9import org.eclipse.xtext.util.DisposableRegistry; 8import org.eclipse.xtext.util.DisposableRegistry;
10import org.eclipse.xtext.web.servlet.XtextServlet; 9import org.eclipse.xtext.web.servlet.XtextServlet;
@@ -12,7 +11,6 @@ import org.eclipse.xtext.web.servlet.XtextServlet;
12/** 11/**
13 * Deploy this class into a servlet container to enable DSL-specific services. 12 * Deploy this class into a servlet container to enable DSL-specific services.
14 */ 13 */
15@WebServlet(name = "XtextServices", urlPatterns = "/xtext-service/*")
16public class ProblemServlet extends XtextServlet { 14public class ProblemServlet extends XtextServlet {
17 15
18 private static final long serialVersionUID = 1L; 16 private static final long serialVersionUID = 1L;