fix extensions reset

2026-09-18 16:54:33 +02:00 · 2023-07-20 09:52:18 -04:00
parent 57d1d3ed16
commit a3ab302f51
10 changed files with 54 additions and 33 deletions
@@ -889,6 +889,7 @@ def restart_server(restart=True):
        demo.close(verbose=False)
        demo.server.close()
        demo.fns = []
+        # os._exit(0)
    except Exception:
        pass
    if restart: