Attempt at making interface restart more robust

2024-12-23 21:18:00 +01:00 · 2023-05-22 00:26:07 -03:00 · 2023-05-22 00:26:07 -03:00 · 753f6c5250
commit 753f6c5250
parent 30225b9dd0
1 changed files with 1 additions and 0 deletions
--- a/server.py
+++ b/server.py
@ -1055,6 +1055,7 @@ if __name__ == "__main__":
        time.sleep(0.5)
        if shared.need_restart:
            shared.need_restart = False
+            time.sleep(0.5)
            shared.gradio['interface'].close()
            time.sleep(0.5)
            create_interface()