From 9f4cf0a8e18d2d164d5857c4f85325166afddfa4 Mon Sep 17 00:00:00 2001 From: Ben Muthalaly Date: Mon, 3 Feb 2025 02:47:33 -0600 Subject: [PATCH] Kill the timer process if it doesn't properly terminate. --- archivebox/misc/logging_util.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/archivebox/misc/logging_util.py b/archivebox/misc/logging_util.py index 6b161b5c..42c85845 100644 --- a/archivebox/misc/logging_util.py +++ b/archivebox/misc/logging_util.py @@ -152,6 +152,11 @@ class TimedProgress: except BaseException: # lgtm [py/catch-base-exception] pass self.p.terminate() + time.sleep(0.1) + # sometimes the timer doesn't terminate properly, then blocks at the join until + # the full time has elapsed. sending a kill tries to avoid that. + if self.p.is_alive(): + self.p.kill() self.p.join()