Make result queue poll for shutdown, and tidy up at shutdown#3709
Merged
khk-globus merged 1 commit intomasterfrom Dec 2, 2024
Merged
Make result queue poll for shutdown, and tidy up at shutdown#3709khk-globus merged 1 commit intomasterfrom
khk-globus merged 1 commit intomasterfrom
