diff options
Diffstat (limited to 'language-web/src/main/java')
-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 | ||