From 753f6c52508e3aa2501cbafacfc9298de6194118 Mon Sep 17 00:00:00 2001
From: oobabooga <112222186+oobabooga@users.noreply.github.com>
Date: Mon, 22 May 2023 00:26:07 -0300
Subject: [PATCH] Attempt at making interface restart more robust

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

diff --git a/server.py b/server.py
index cbd0a7ec..743ce3c6 100644
--- 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()