What happened?

I am using pi with the control extension from https://github.com/mitsuhiko/agent-stuff. When I kill pi with SIGTERM or SIGHUP, the socket created by the extension is not properly removed. This is not the case when I exit pi by C-d.

I think this is not a bug of the extension because when I kill pi with SIGTERM or SIGHUP, pi leaves the terminal in a dirty state, indicating that the clean up process is incomplete.

Related #3212

Steps to reproduce

• Start a pi with the control extension from https://github.com/mitsuhiko/agent-stuff
• Kill pi with SIGTERM
• Find that there is a leftover socket under ~/.pi/session-control/

Expected behavior

Pi properly cleans up everything on SIGTERM

Version

0.75.5