From ec29e3d60bc4f916ad333a63dbc0eea3428cbc99 Mon Sep 17 00:00:00 2001 From: Dion Moult Date: Tue, 30 Jul 2024 17:54:28 +1000 Subject: [PATCH] Send sigkill not sigterm because aiohttp swallows sigterm and takes a long time I'm not smart enough to know exactly why --- src/blenderbim/blenderbim/tool/web.py | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/blenderbim/blenderbim/tool/web.py b/src/blenderbim/blenderbim/tool/web.py index a5799a52f3..326547eac0 100644 --- a/src/blenderbim/blenderbim/tool/web.py +++ b/src/blenderbim/blenderbim/tool/web.py @@ -211,12 +211,11 @@ class Web(blenderbim.core.tool.Web): with open(pid_file, "w") as f: json.dump(pids, f, indent=4) - ws_process.terminate() - ws_process.wait() + ws_process.kill() ws_process = None cls.set_is_running(False) - print("Websocket server terminated successfully") + print("Websocket server killed successfully") @classmethod def has_started(cls, port):