diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2021-10-24 14:34:39 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2021-10-31 19:26:11 +0100 |
| commit | e90f0cd525c619b1d0e21bfcd7466a99853ee710 (patch) | |
| tree | 91e8ed0bd2599a099dd67cc4e6132c375333b453 /language-web/src/main | |
| 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')
| -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 | ||