[issue36977] SharedMemoryManager should relase its resources when its parent process dies

2019-05-20 Thread Pierre Glaser
Change by Pierre Glaser : -- keywords: +patch pull_requests: +13360 stage: -> patch review ___ Python tracker ___ ___

[issue36977] SharedMemoryManager should relase its resources when its parent process dies

2019-05-20 Thread Karthikeyan Singaravelan
Change by Karthikeyan Singaravelan : -- nosy: +davin ___ Python tracker ___ ___ Python-bugs-list mailing list Unsubscribe:

[issue36977] SharedMemoryManager should relase its resources when its parent process dies

2019-05-20 Thread Pierre Glaser
New submission from Pierre Glaser : The new multiprocessing.managers.SharedMemoryManager spawns a server that delivers memory segments to a parent Python process. If the parent process terminates unexpectedly, we should now make the manager process notice this termination it using the recent