From bd00e55e3a459b8d6623a856748b334c4c9948d8 Mon Sep 17 00:00:00 2001
From: Theo Brigitte <theo.brigitte@gmail.com>
Date: Thu, 7 Nov 2024 10:31:36 +0100
Subject: [PATCH] remove unused getServers; fix undefined details

---
 front/src/app/page.tsx | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/front/src/app/page.tsx b/front/src/app/page.tsx
index 7ec77e1..88ae8c8 100644
--- a/front/src/app/page.tsx
+++ b/front/src/app/page.tsx
@@ -4,15 +4,16 @@ import React from 'react'
 import ServersTable from './components/server';
 import useSWRSubscription from 'swr/subscription';
 
-const getServers = () => fetch('http://127.0.0.1:8080/list').then(res => res.json());
-
 function Status({ error, data, connectionRestored, setConnectionRestored }) {
   let message;
   let fadeOut;
 
   if (error) {
-    message = "Failed to load server list"
-    details = <div className="text-orange-700">{error.toString()}</div>
+    message =
+      <>
+        <div>Failed to load server list</div>
+        <div className="text-orange-700">{error.toString()}</div>
+      </>
   } else if (!data||data==undefined) {
     message = <div>Loading ...</div>
   } else if (connectionRestored) {
@@ -37,7 +38,7 @@ export default function Home() {
   const [connectionRestored, setConnectionRestored] = React.useState(false);
 
   const startWS = (key, { next }) => {
-    let socket = new WebSocket("ws://127.0.0.1:8080/listWS",'echo-protocol');
+    let socket = new WebSocket("ws://127.0.0.1:8080/listWS", 'echo-protocol');
     socket.addEventListener('message', (event) => {
       const res = JSON.parse(event.data)
       next(null, res)