Merge pull request #1610 from jdurgin/wip-supervisor-timeouts
authorJosh Durgin <jdurgin@redhat.com>
Tue, 9 Feb 2021 22:10:00 +0000 (14:10 -0800)
committerGitHub <noreply@github.com>
Tue, 9 Feb 2021 22:10:00 +0000 (14:10 -0800)
supervisor: improve error handling for dead jobs

Reviewed-by: Andrew Schoen <aschoen@redhat.com>

Trivial merge