Merge branch 'dev' of ssh://git.commumedia.org:2222/alex/headquarter into dev

2026-05-24 15:02:56 +02:00
parent 8f7e19fdb1 ba76f09a1c
commit b638dccd36
1 changed files with 5 additions and 1 deletions
@@ -133,7 +133,7 @@ export const TerminalComponent: React.FC<TerminalProps> = ({
        heartbeatCheckRef.current = null;
      }
      
-      if (event.code !== 1000) {
+      if (event.code !== 1000 && event.code !== 4000) {
        setError(`Connection closed (code: ${event.code})`);

        // Attempt reconnection
@@ -146,6 +146,10 @@ export const TerminalComponent: React.FC<TerminalProps> = ({
            }
          }, delay);
        }
+      } else if (event.code === 4000) {
+        // Server closed old connection for concurrent connection - don't reconnect
+        // The new connection is already established
+        console.log("Old WebSocket closed by server (new connection established)");
      }
    };