From d9c39360a93fb62312f18d9e283552a07479b409 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dan=20S=C3=B8ndergaard?= Date: Thu, 27 Jun 2024 21:46:54 +0200 Subject: [PATCH] Kill BackgroundCluster if it does not shut down --- src/gwf/backends/local.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/gwf/backends/local.py b/src/gwf/backends/local.py index 3471f24d..4cc23fd5 100644 --- a/src/gwf/backends/local.py +++ b/src/gwf/backends/local.py @@ -459,7 +459,8 @@ def start(cls, working_dir, max_cores, host, port, **kwargs): def shutdown(self): with Client.connect("localhost", 12345) as c: c.shutdown() - self.process.join() + self.process.join(timeout=1) + self.process.kill() def __enter__(self): return self