Mirrors/text-generation-webui
1
0
Fork 0
mirror of https://github.com/oobabooga/text-generation-webui.git synced 2024-10-30 06:00:15 +01:00
Code Issues Packages Projects Releases Wiki Activity

Increase the reload timeout a bit

Browse Source
This commit is contained in:
oobabooga 2023-03-15 23:34:08 -03:00
parent 4d64a57092
commit 599d3139fd
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
server.py
View File

@ -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()