Attempt at making interface restart more robust

2024-11-22 16:17:57 +01:00 · 2023-05-16 22:27:43 -03:00 · 2023-05-16 22:27:43 -03:00 · 824fa8fc0e
commit 824fa8fc0e
parent 259020a0be
1 changed files with 1 additions and 0 deletions
--- a/server.py
+++ b/server.py
@ -976,4 +976,5 @@ if __name__ == "__main__":
        if shared.need_restart:
            shared.need_restart = False
            shared.gradio['interface'].close()
+            time.sleep(0.5)
            create_interface()