Silence BrokenPipeError exceptions of pyhmmer.hmmer workers

althonos · Oct 25, 2024 · 6d2b28a · 6d2b28a
1 parent 003379b
commit 6d2b28a
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/pyhmmer/hmmer/_base.py b/src/pyhmmer/hmmer/_base.py
@@ -275,6 +275,9 @@ def run(self) -> None:
                 chore = self.query_queue.get(timeout=1)
             except queue.Empty:
                 continue
+            except BrokenPipeError:
+                self.kill()
+                break
             except ConnectionResetError:
                 self.kill()
                 break