diff options
Diffstat (limited to 'subprojects/language-web/src/main/java/tools/refinery/language/web/ProblemWebSocketServlet.java')
-rw-r--r-- | subprojects/language-web/src/main/java/tools/refinery/language/web/ProblemWebSocketServlet.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/subprojects/language-web/src/main/java/tools/refinery/language/web/ProblemWebSocketServlet.java b/subprojects/language-web/src/main/java/tools/refinery/language/web/ProblemWebSocketServlet.java index 7b48cde8..e98d115e 100644 --- a/subprojects/language-web/src/main/java/tools/refinery/language/web/ProblemWebSocketServlet.java +++ b/subprojects/language-web/src/main/java/tools/refinery/language/web/ProblemWebSocketServlet.java | |||
@@ -10,8 +10,10 @@ import org.eclipse.xtext.util.DisposableRegistry; | |||
10 | import jakarta.servlet.ServletException; | 10 | import jakarta.servlet.ServletException; |
11 | import tools.refinery.language.web.xtext.servlet.XtextWebSocketServlet; | 11 | import tools.refinery.language.web.xtext.servlet.XtextWebSocketServlet; |
12 | 12 | ||
13 | public class ProblemWebSocketServlet extends XtextWebSocketServlet { | 13 | import java.io.Serial; |
14 | 14 | ||
15 | public class ProblemWebSocketServlet extends XtextWebSocketServlet { | ||
16 | @Serial | ||
15 | private static final long serialVersionUID = -7040955470384797008L; | 17 | private static final long serialVersionUID = -7040955470384797008L; |
16 | 18 | ||
17 | private transient DisposableRegistry disposableRegistry; | 19 | private transient DisposableRegistry disposableRegistry; |