diff options
| author |  OszkarSemerath <semerath@mit.bme.hu> | 2021-09-20 15:53:41 +0200 |
|---|---|---|
| committer | OszkarSemerath <semerath@mit.bme.hu> | 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; |