Skip to content

gh-81158: Make SharedMemoryManager release its resources if its parent process dies - #13451

Closed
pierreglaser wants to merge 5 commits into
python:mainfrom
pierreglaser:shared-memory-manager-shutdown
Closed

gh-81158: Make SharedMemoryManager release its resources if its parent process dies#13451
pierreglaser wants to merge 5 commits into
python:mainfrom
pierreglaser:shared-memory-manager-shutdown

syntax, guards

dd6e558
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs