From fcc75a4258b01bf05a51045faf8497e46533ff5e Mon Sep 17 00:00:00 2001
From: Rob Court <rcourt@ed.ac.uk>
Date: Thu, 4 Apr 2024 14:06:54 +0100
Subject: [PATCH] Handling websocket protocol error at server (when clientID
 not found)

---
 geppetto-client/js/communication/MessageSocket.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/geppetto-client/js/communication/MessageSocket.js b/geppetto-client/js/communication/MessageSocket.js
index a694146a1..167471293 100644
--- a/geppetto-client/js/communication/MessageSocket.js
+++ b/geppetto-client/js/communication/MessageSocket.js
@@ -87,6 +87,10 @@ define(function (require) {
             GEPPETTO.MessageSocket.socketStatus = GEPPETTO.Resources.SocketStatus.CLOSE;
             GEPPETTO.CommandController.log(GEPPETTO.Resources.WEBSOCKET_CLOSED, true);
             break;
+          case 1002:
+            GEPPETTO.MessageSocket.socketStatus = GEPPETTO.Resources.SocketStatus.CLOSE;
+            GEPPETTO.CommandController.log(GEPPETTO.Resources.WEBSOCKET_CLOSED, true);
+            break; 
           default:
             if (GEPPETTO.MessageSocket.lostConnectionId === undefined) {
               GEPPETTO.MessageSocket.lostConnectionId = GEPPETTO.MessageSocket.getClientID();