From dcbfeece5e559b60a615f0aa9b933b202d34bf8b Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Mon, 25 Oct 2021 00:29:37 +0200 Subject: feat(web): add xtext websocket client --- .../java/tools/refinery/language/web/xtext/servlet/XtextWebSocket.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'language-web/src/main/java/tools') diff --git a/language-web/src/main/java/tools/refinery/language/web/xtext/servlet/XtextWebSocket.java b/language-web/src/main/java/tools/refinery/language/web/xtext/servlet/XtextWebSocket.java index a8b4e123..fd41f213 100644 --- a/language-web/src/main/java/tools/refinery/language/web/xtext/servlet/XtextWebSocket.java +++ b/language-web/src/main/java/tools/refinery/language/web/xtext/servlet/XtextWebSocket.java @@ -61,7 +61,7 @@ public class XtextWebSocket implements WriteCallback, ResponseHandler { if (webSocketSession == null) { return; } - if (statusCode == StatusCode.NORMAL) { + if (statusCode == StatusCode.NORMAL || statusCode == StatusCode.SHUTDOWN) { LOG.debug("{} closed connection normally: {}", webSocketSession.getRemoteAddress(), reason); } else { LOG.warn("{} closed connection with status code {}: {}", webSocketSession.getRemoteAddress(), statusCode, -- cgit v1.2.3-70-g09d2