diff options
author | 2021-10-24 14:34:39 +0200 | |
---|---|---|
committer | 2021-10-31 19:26:11 +0100 | |
commit | e90f0cd525c619b1d0e21bfcd7466a99853ee710 (patch) | |
tree | 91e8ed0bd2599a099dd67cc4e6132c375333b453 /language-web/src/main/java/tools | |
parent | test(web): websockets fixes and tests (diff) | |
download | refinery-e90f0cd525c619b1d0e21bfcd7466a99853ee710.tar.gz refinery-e90f0cd525c619b1d0e21bfcd7466a99853ee710.tar.zst refinery-e90f0cd525c619b1d0e21bfcd7466a99853ee710.zip |
test(web): more websocket integration tests
Diffstat (limited to 'language-web/src/main/java/tools')
-rw-r--r-- | language-web/src/main/java/tools/refinery/language/web/ServerLauncher.java | 2 |
1 files changed, 1 insertions, 1 deletions
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 { | |||
73 | problemServletHolder.setInitParameter(XtextWebSocketServlet.ALLOWED_ORIGINS_INIT_PARAM, | 73 | problemServletHolder.setInitParameter(XtextWebSocketServlet.ALLOWED_ORIGINS_INIT_PARAM, |
74 | allowedOriginsString); | 74 | allowedOriginsString); |
75 | } | 75 | } |
76 | handler.addServlet(problemServletHolder, "/xtext-service/*"); | 76 | handler.addServlet(problemServletHolder, "/xtext-service"); |
77 | JettyWebSocketServletContainerInitializer.configure(handler, null); | 77 | JettyWebSocketServletContainerInitializer.configure(handler, null); |
78 | } | 78 | } |
79 | 79 | ||