We should probably also unwind on SIGTERM. If the user really wants
"stop now without cleaning up" there's always SIGKILL.
I suspect another contributing problem is that they press C-c and then
nothing apparently happens, so they press it again, thus giving us no
chance to clean up. If we print "interrupted, cleaning up..." then we
might get a bit more patience. Some cleanup operations, like closing
a socket or deleting limbo files may take a noticeable time.
We should probably also unwind on SIGTERM. If the user really wants
"stop now without cleaning up" there's always SIGKILL.
I suspect another contributing problem is that they press C-c and then
nothing apparently happens, so they press it again, thus giving us no
chance to clean up. If we print "interrupted, cleaning up..." then we
might get a bit more patience. Some cleanup operations, like closing
a socket or deleting limbo files may take a noticeable time.