[IPython-dev] Zmq Terminal.
epatters at enthought.com
Wed May 25 12:20:45 EDT 2011
On May 25, 2011, at 10:54 AM, Thomas Kluyver wrote:
> 2011/5/25 Evan Patterson <epatters at enthought.com>
> Right, if you set 'independent' the kernel process will survive if the frontend process terminates, which usually isn't what you want.
> I thought as much. I *think* the critical bit is calling os.setsid() as we launch the kernel. If we do that as well as specifying --parent, will ParentPollerUnix still be able to kill the kernel when the frontend dies? A quick test suggests that it does, but I don't know much about these things.
I think that ParentPollerUnix would still be able to kill the kernel reliably, but I'm hardly an expert on the subtleties of Unix process management.
I am wondering why this should be necessary at all, though. Shouldn't the kernel process always trap Ctrl+C signals at some point to prevent them from hosing the kernel? I've actually had a few problems with this myself. Sometimes when I interrupt the kernel from the Qt console, the whole kernel goes down.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the IPython-dev