From e1ef42c2f8d725f6f7896d07f26662765e2abec7 Mon Sep 17 00:00:00 2001 From: Kris De Volder Date: Mon, 30 Sep 2019 12:49:53 -0700 Subject: [PATCH] Disable websocket Doesn't work on CF otherwise --- .../vscode/commons/sprotty/scan/DiagramWebsocketServer.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/headless-services/commons/commons-sprotty/src/main/java/org/springframework/ide/vscode/commons/sprotty/scan/DiagramWebsocketServer.java b/headless-services/commons/commons-sprotty/src/main/java/org/springframework/ide/vscode/commons/sprotty/scan/DiagramWebsocketServer.java index e4d475af3..84deeab97 100644 --- a/headless-services/commons/commons-sprotty/src/main/java/org/springframework/ide/vscode/commons/sprotty/scan/DiagramWebsocketServer.java +++ b/headless-services/commons/commons-sprotty/src/main/java/org/springframework/ide/vscode/commons/sprotty/scan/DiagramWebsocketServer.java @@ -66,7 +66,8 @@ public class DiagramWebsocketServer implements WebSocketConfigurer, Initializing public void registerWebSocketHandlers(WebSocketHandlerRegistry registry) { registry.addHandler(WsMessageHandler(), "/websocket") .setAllowedOrigins("*") - .withSockJS(); + .withSockJS() + .setWebSocketEnabled(false); } private final String END_MESSAGE = "@end";