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=\'

Reloading...

\'; setTimeout(function(){location.reload()},2000)}') + kill.click(lambda : None, None, None, _js='() => {document.body.innerHTML=\'

Reloading...

\'; setTimeout(function(){location.reload()},2500)}') if shared.args.extensions is not None: extensions_module.create_extensions_block()