Merge pull request #1497 from poolifier/fix-dynamic-worker-removal-race
authorJérôme Benoit <jerome.benoit@sap.com>
Tue, 17 Oct 2023 19:24:44 +0000 (21:24 +0200)
committerGitHub <noreply@github.com>
Tue, 17 Oct 2023 19:24:44 +0000 (21:24 +0200)
commit776e97a2d35ba2003ddeddecc826353b569a4344
treefb38de67c6633fa3651a0b2d17bf86b38577bb94
parentdaa30e0e21087d1a3cf24b3dd38f703b1aba6d46
parent97256a852ff3c5a6f85542fe749b831a8c600e30
Merge pull request #1497 from poolifier/fix-dynamic-worker-removal-race

fix: ensure a dynamic scheduled for removal can't be used