tree 930a44cdff935895a33f121da0f3fb63fcfdc100
parent 86ea58149c3e83f402cecd17e6a536865fb06ce1
author Pierre Glaser <pierreglaser@msn.com> 1557513755 +0200
committer Antoine Pitrou <antoine@python.org> 1557513755 +0200

bpo-36368: Ignore SIGINT in SharedMemoryManager servers. (GH-12483)

Fix a bug crashing SharedMemoryManager instances in interactive sessions after
a Ctrl-C (KeyboardInterrupt) was sent.