Handling websocket protocol error at server (when clientID not found)

openworm · Apr 4, 2024 · fcc75a4 · fcc75a4
1 parent 5545ba6
commit fcc75a4
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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();