diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2021-10-25 00:29:37 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2021-10-31 19:26:11 +0100 |
| commit | dcbfeece5e559b60a615f0aa9b933b202d34bf8b (patch) | |
| tree | afdacff7492284f5f8cc147c4b84e4ba5db259b3 /language-web/src/main/java/tools | |
| parent | test(web): more websocket integration tests (diff) | |
| download | refinery-dcbfeece5e559b60a615f0aa9b933b202d34bf8b.tar.gz refinery-dcbfeece5e559b60a615f0aa9b933b202d34bf8b.tar.zst refinery-dcbfeece5e559b60a615f0aa9b933b202d34bf8b.zip | |
feat(web): add xtext websocket client
Diffstat (limited to 'language-web/src/main/java/tools')
| -rw-r--r-- | language-web/src/main/java/tools/refinery/language/web/xtext/servlet/XtextWebSocket.java | 2 |
1 files changed, 1 insertions, 1 deletions
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 { | |||
| 61 | if (webSocketSession == null) { | 61 | if (webSocketSession == null) { |
| 62 | return; | 62 | return; |
| 63 | } | 63 | } |
| 64 | if (statusCode == StatusCode.NORMAL) { | 64 | if (statusCode == StatusCode.NORMAL || statusCode == StatusCode.SHUTDOWN) { |
| 65 | LOG.debug("{} closed connection normally: {}", webSocketSession.getRemoteAddress(), reason); | 65 | LOG.debug("{} closed connection normally: {}", webSocketSession.getRemoteAddress(), reason); |
| 66 | } else { | 66 | } else { |
| 67 | LOG.warn("{} closed connection with status code {}: {}", webSocketSession.getRemoteAddress(), statusCode, | 67 | LOG.warn("{} closed connection with status code {}: {}", webSocketSession.getRemoteAddress(), statusCode, |