diff options
Diffstat (limited to 'language-web/src/main/java/tools/refinery/language/web/ProblemServlet.java')
-rw-r--r-- | language-web/src/main/java/tools/refinery/language/web/ProblemServlet.java | 22 |
1 files changed, 10 insertions, 12 deletions
diff --git a/language-web/src/main/java/tools/refinery/language/web/ProblemServlet.java b/language-web/src/main/java/tools/refinery/language/web/ProblemServlet.java index d249525f..49457002 100644 --- a/language-web/src/main/java/tools/refinery/language/web/ProblemServlet.java +++ b/language-web/src/main/java/tools/refinery/language/web/ProblemServlet.java | |||
@@ -3,29 +3,27 @@ | |||
3 | */ | 3 | */ |
4 | package tools.refinery.language.web; | 4 | package tools.refinery.language.web; |
5 | 5 | ||
6 | import javax.servlet.ServletException; | ||
7 | |||
8 | import org.eclipse.xtext.util.DisposableRegistry; | 6 | import org.eclipse.xtext.util.DisposableRegistry; |
9 | import org.eclipse.xtext.web.servlet.XtextServlet; | 7 | |
8 | import jakarta.servlet.ServletException; | ||
9 | import tools.refinery.language.web.xtext.XtextServlet; | ||
10 | 10 | ||
11 | /** | 11 | /** |
12 | * 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. |
13 | */ | 13 | */ |
14 | public class ProblemServlet extends XtextServlet { | 14 | public class ProblemServlet extends XtextServlet { |
15 | 15 | ||
16 | private static final long serialVersionUID = 1L; | 16 | private static final long serialVersionUID = -9204695886561362912L; |
17 | 17 | ||
18 | // Xtext requires a mutable servlet instance field. | 18 | private transient DisposableRegistry disposableRegistry; |
19 | @SuppressWarnings("squid:S2226") | 19 | |
20 | private DisposableRegistry disposableRegistry; | ||
21 | |||
22 | @Override | 20 | @Override |
23 | public void init() throws ServletException { | 21 | public void init() throws ServletException { |
24 | super.init(); | 22 | super.init(); |
25 | var injector = new ProblemWebSetup().createInjectorAndDoEMFRegistration(); | 23 | var injector = new ProblemWebSetup().createInjectorAndDoEMFRegistration(); |
26 | this.disposableRegistry = injector.getInstance(DisposableRegistry.class); | 24 | this.disposableRegistry = injector.getInstance(DisposableRegistry.class); |
27 | } | 25 | } |
28 | 26 | ||
29 | @Override | 27 | @Override |
30 | public void destroy() { | 28 | public void destroy() { |
31 | if (disposableRegistry != null) { | 29 | if (disposableRegistry != null) { |
@@ -34,5 +32,5 @@ public class ProblemServlet extends XtextServlet { | |||
34 | } | 32 | } |
35 | super.destroy(); | 33 | super.destroy(); |
36 | } | 34 | } |
37 | 35 | ||
38 | } | 36 | } |