From 824fa8fc0e6be72c8b1b9ab6e69b6b3cf7380413 Mon Sep 17 00:00:00 2001
From: oobabooga <112222186+oobabooga@users.noreply.github.com>
Date: Tue, 16 May 2023 22:27:43 -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 af09686..e499320 100644
--- 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()