1 files changed, 38 insertions, 0 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
new file mode 100644
index 00000000..d249525f
--- /dev/null
+++ b/language-web/src/main/java/tools/refinery/language/web/ProblemServlet.java
@@ -0,0 +1,38 @@
+/*
+ * generated by Xtext 2.25.0
+ */
+package tools.refinery.language.web;
+
+import javax.servlet.ServletException;
+
+import org.eclipse.xtext.util.DisposableRegistry;
+import org.eclipse.xtext.web.servlet.XtextServlet;
+
+/**
+ * Deploy this class into a servlet container to enable DSL-specific services.
+ */
+public class ProblemServlet extends XtextServlet {
+        
+        private static final long serialVersionUID = 1L;
+        
+        // Xtext requires a mutable servlet instance field.
+        @SuppressWarnings("squid:S2226")
+        private DisposableRegistry disposableRegistry;
+        
+        @Override
+        public void init() throws ServletException {
+                super.init();
+                var injector = new ProblemWebSetup().createInjectorAndDoEMFRegistration();
+                this.disposableRegistry = injector.getInstance(DisposableRegistry.class);
+        }
+        
+        @Override
+        public void destroy() {
+                if (disposableRegistry != null) {
+                        disposableRegistry.dispose();
+                        disposableRegistry = null;
+                }
+                super.destroy();
+        }
+        
+}