From e90f0cd525c619b1d0e21bfcd7466a99853ee710 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Sun, 24 Oct 2021 14:34:39 +0200 Subject: test(web): more websocket integration tests --- .../src/main/java/tools/refinery/language/web/ServerLauncher.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'language-web/src/main') diff --git a/language-web/src/main/java/tools/refinery/language/web/ServerLauncher.java b/language-web/src/main/java/tools/refinery/language/web/ServerLauncher.java index cde7278f..ffd903d0 100644 --- a/language-web/src/main/java/tools/refinery/language/web/ServerLauncher.java +++ b/language-web/src/main/java/tools/refinery/language/web/ServerLauncher.java @@ -73,7 +73,7 @@ public class ServerLauncher { problemServletHolder.setInitParameter(XtextWebSocketServlet.ALLOWED_ORIGINS_INIT_PARAM, allowedOriginsString); } - handler.addServlet(problemServletHolder, "/xtext-service/*"); + handler.addServlet(problemServletHolder, "/xtext-service"); JettyWebSocketServletContainerInitializer.configure(handler, null); } -- cgit v1.2.3-70-g09d2