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 {
                 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,