Merge pull request #109 from valentinewallace/2023-07-detect-bgproc-exit
authorJeffrey Czyz <jkczyz@gmail.com>
Mon, 7 Aug 2023 19:35:09 +0000 (14:35 -0500)
committerGitHub <noreply@github.com>
Mon, 7 Aug 2023 19:35:09 +0000 (14:35 -0500)
Detect if the background processor exits early and shutdown if so


Trivial merge