From dce6eee8c9370608783c9ca240b776565b33b631 Mon Sep 17 00:00:00 2001
From: jesopo
Date: Wed, 18 Sep 2019 10:21:40 +0100
Subject: move _raise_deadline() out of except block to clean up printed
 stacktrace

---
 src/utils/__init__.py | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/utils')

diff --git a/src/utils/__init__.py b/src/utils/__init__.py
index 8f4920f4..60f25f9d 100644
--- a/src/utils/__init__.py
+++ b/src/utils/__init__.py
@@ -398,10 +398,14 @@ def deadline_process(func: typing.Callable[[], None], seconds: int=10):
     p = multiprocessing.Process(target=_wrap, args=(func, q))
     p.start()
 
+    deadlined = False
     try:
         success, out = q.get(block=True, timeout=seconds)
     except queue.Empty:
         p.kill()
+        deadlined = True
+
+    if deadlined:
         _raise_deadline()
 
     if success:
-- 
cgit v1.3.1-10-gc9f91