From 599d3139fd71d9a5647374043b33f2d5221f2642 Mon Sep 17 00:00:00 2001
From: oobabooga <112222186+oobabooga@users.noreply.github.com>
Date: Wed, 15 Mar 2023 23:34:08 -0300
Subject: [PATCH] Increase the reload timeout a bit

---
 server.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/server.py b/server.py
index 7af8bd3e..94fec6b9 100644
--- a/server.py
+++ b/server.py
@@ -403,7 +403,7 @@ def create_interface():
             group = gr.CheckboxGroup(choices=extensions, value=shared.args.extensions, label="Available extensions")
             kill = gr.Button("Apply and restart the interface")
             kill.click(set_interface_mode, [modes_menu, group], None)
-            kill.click(lambda : None, None, None, _js='() => {document.body.innerHTML=\'<h1 style="font-family:monospace;margin-top:20%;color:lightgray;text-align:center;">Reloading...</h1>\'; setTimeout(function(){location.reload()},2000)}')
+            kill.click(lambda : None, None, None, _js='() => {document.body.innerHTML=\'<h1 style="font-family:monospace;margin-top:20%;color:lightgray;text-align:center;">Reloading...</h1>\'; setTimeout(function(){location.reload()},2500)}')
 
         if shared.args.extensions is not None:
             extensions_module.create_extensions_block()