diff options
author | 2021-09-20 15:53:41 +0200 | |
---|---|---|
committer | 2021-09-20 15:53:41 +0200 | |
commit | 50de7f7e60540e7dd157aa83dffec0da9c5ca608 (patch) | |
tree | 69f0ce98be0b3c32fc324c95489cc540ec95a9e6 /language-web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemServlet.java | |
parent | Data structure for predicate representation (diff) | |
parent | Force LF line endings in frontend files (diff) | |
download | refinery-50de7f7e60540e7dd157aa83dffec0da9c5ca608.tar.gz refinery-50de7f7e60540e7dd157aa83dffec0da9c5ca608.tar.zst refinery-50de7f7e60540e7dd157aa83dffec0da9c5ca608.zip |
Merge branch 'web-demo' of https://github.com/viatra/VIATRA-Generator.git into web-demo
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.java | 2 |
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 @@ | |||
4 | package org.eclipse.viatra.solver.language.web; | 4 | package org.eclipse.viatra.solver.language.web; |
5 | 5 | ||
6 | import javax.servlet.ServletException; | 6 | import javax.servlet.ServletException; |
7 | import javax.servlet.annotation.WebServlet; | ||
8 | 7 | ||
9 | import org.eclipse.xtext.util.DisposableRegistry; | 8 | import org.eclipse.xtext.util.DisposableRegistry; |
10 | import org.eclipse.xtext.web.servlet.XtextServlet; | 9 | import 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/*") | ||
16 | public class ProblemServlet extends XtextServlet { | 14 | public class ProblemServlet extends XtextServlet { |
17 | 15 | ||
18 | private static final long serialVersionUID = 1L; | 16 | private static final long serialVersionUID = 1L; |