From b0effd42c559d000a3e6acf96ac286a192d40a2d Mon Sep 17 00:00:00 2001
From: Rob Court <rcourt@ed.ac.uk>
Date: Fri, 5 Apr 2024 05:52:06 +0100
Subject: [PATCH] forcing immediate reload

---
 geppetto-client/js/communication/GEPPETTO.GlobalHandler.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/geppetto-client/js/communication/GEPPETTO.GlobalHandler.js b/geppetto-client/js/communication/GEPPETTO.GlobalHandler.js
index ce34f54a4..cee06b22e 100644
--- a/geppetto-client/js/communication/GEPPETTO.GlobalHandler.js
+++ b/geppetto-client/js/communication/GEPPETTO.GlobalHandler.js
@@ -104,6 +104,7 @@ function GlobalHandler (GEPPETTO) {
     GEPPETTO.MessageSocket.socketStatus = GEPPETTO.Resources.SocketStatus.CLOSE;
     GEPPETTO.trigger(GEPPETTO.Events.Hide_spinner);
     GEPPETTO.trigger(GEPPETTO.Events.Websocket_disconnected);
+    window.location.reload();
   };
 
   GEPPETTO.GlobalHandler