diff options
Diffstat (limited to 'subprojects/language-web/src/test/java/tools/refinery/language/web/ProblemWebSocketServletIntegrationTest.java')
-rw-r--r-- | subprojects/language-web/src/test/java/tools/refinery/language/web/ProblemWebSocketServletIntegrationTest.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/subprojects/language-web/src/test/java/tools/refinery/language/web/ProblemWebSocketServletIntegrationTest.java b/subprojects/language-web/src/test/java/tools/refinery/language/web/ProblemWebSocketServletIntegrationTest.java index 6dfce780..24fab4e3 100644 --- a/subprojects/language-web/src/test/java/tools/refinery/language/web/ProblemWebSocketServletIntegrationTest.java +++ b/subprojects/language-web/src/test/java/tools/refinery/language/web/ProblemWebSocketServletIntegrationTest.java | |||
@@ -177,6 +177,7 @@ class ProblemWebSocketServletIntegrationTest { | |||
177 | 177 | ||
178 | private void startServer(String allowedOrigins) { | 178 | private void startServer(String allowedOrigins) { |
179 | server = new Server(new InetSocketAddress(SERVER_PORT)); | 179 | server = new Server(new InetSocketAddress(SERVER_PORT)); |
180 | ServerLauncher.enableVirtualThreads(server); | ||
180 | var handler = new ServletContextHandler(); | 181 | var handler = new ServletContextHandler(); |
181 | var holder = new ServletHolder(ProblemWebSocketServlet.class); | 182 | var holder = new ServletHolder(ProblemWebSocketServlet.class); |
182 | if (allowedOrigins != null) { | 183 | if (allowedOrigins != null) { |