From d92819ab60e320563bac2ab3d159e4575d208ede Mon Sep 17 00:00:00 2001
From: Andras Bacsai <andras.bacsai@gmail.com>
Date: Tue, 17 Sep 2024 11:30:46 +0200
Subject: [PATCH] fix: Handle WebSocket connection close in terminal.blade.php

---
 .../views/livewire/project/shared/terminal.blade.php   | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/resources/views/livewire/project/shared/terminal.blade.php b/resources/views/livewire/project/shared/terminal.blade.php
index 5c7560367..31887120d 100644
--- a/resources/views/livewire/project/shared/terminal.blade.php
+++ b/resources/views/livewire/project/shared/terminal.blade.php
@@ -67,6 +67,12 @@
                     socket.onerror = (e) => {
                         console.error('WebSocket error:', e);
                     };
+                    socket.onclose = () => {
+                        console.log('WebSocket connection closed');
+                        setInterval(() => {
+                            $wire.dispatch('error', 'Connection to terminal lost, please refresh the page.');
+                        }, 2000);
+                    };
                 }
             }
 
@@ -209,8 +215,8 @@
                     term.resize(termWidth, termHeight);
                     socket.send(JSON.stringify({
                         resize: {
-                            cols: termWidth,
-                            rows: termHeight
+                            cols: 600,
+                            rows: 600
                         }
                     }));
                 }