···

       
46
       
46
       
 
       
            socket.send(JSON.stringify(requestHistoryMessage));

     

       
47
       
47
       
 
       
        };

     

       
48
       
48
       
 
       


     

       
49
       
49
       
-
       
        if (socket.readyState === WebSocket.OPEN) {

     

       
50
       
50
       
-
       
            handleOpen();

     

       
51
       
51
       
-
       
        }

     

       
52
       
52
       
-
       


     

       
53
       
53
       
-
       
        socket.addEventListener("open", handleOpen);

     

       
54
       
54
       
-
       


     

       
55
       
49
       
 
       
        socket.addEventListener("message", (event) => {

     

       
56
       
50
       
 
       
            console.log("received message", event);

     

       
57
       
51
       
 
       
            const validateEventResult = validateWsMessageString(event.data);

     
···

       
111
       
105
       
 
       
            console.log("Disconnected from WebSocket");

     

       
112
       
106
       
 
       
            setIsConnected(false);

     

       
113
       
107
       
 
       
        });

     

       
108
       
108
       
+
       


     

       
109
       
109
       
+
       
        if (socket.readyState === WebSocket.OPEN) {

     

       
110
       
110
       
+
       
            handleOpen();

     

       
111
       
111
       
+
       
        }

     

       
112
       
112
       
+
       


     

       
114
       
113
       
 
       
        socket.addEventListener("open", handleOpen);

     

       
114
       
114
       
+
       


     

       
115
       
115
       
 
       
        return () => {

     

       
116
       
116
       
 
       
            socket.removeEventListener("open", handleOpen);

     

       
117
       
117
       
 
       
        };