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)
commit34a748c1e5b7ace1904eaec80d56f20e8be81ec4
treeb4aaf6a5bcd297d9bd6340175fe4e9d387af9fca
parent007c06b478545321dcd09be211bca4432c3eb976
parent508c202a6070302c9ea0ec4e2d7b73b5a7cc2c37
Merge pull request #109 from valentinewallace/2023-07-detect-bgproc-exit

Detect if the background processor exits early and shutdown if so