fix firefox location issue with a small delay before reloading

nicegui/static/templates/js/event_handler.js

@@ -133,7 +133,7 @@ function send_to_server(e, event_type, debug_flag) {
     }
     if (use_websockets) {
         if (web_socket_closed) {
-            window.location.reload();
+            setTimeout(function(){ window.location.reload(); }, 100);
             return;
         }
         if (websocket_ready) {

nicegui/static/templates/main.html

@@ -86,15 +86,14 @@
 
         socket.addEventListener('error', function (event) {
             console.log('Websocket closed');
-            window.location.reload();
-            // setTimeout(function(){ window.location.reload(); }, 3000);
+            setTimeout(function(){ window.location.reload(); }, 100);
         });
 
         var web_socket_closed = false;
         socket.addEventListener('close', function (event) {
             console.log('Websocket closed');
             web_socket_closed = true;
-            window.location.reload()
+            setTimeout(function(){ window.location.reload(); }, 100);
         });
 
         socket.addEventListener('message', function (event) {