latest release
Update channel domains / update (push) Successful in 21s

This commit is contained in:
2025-01-18 11:01:23 +01:00
parent 881a61d24a
commit 36a89c1979
32 changed files with 1578 additions and 271 deletions
+6
View File
@@ -665,3 +665,9 @@ class Executor(object):
def __exit__(self, exc_type, exc_val, exc_tb):
self.shutdown(wait=True)
return False
class BrokenExecutor(RuntimeError):
"""
Raised when a executor has become non-functional after a severe failure.
"""