ipython/ipython — pull request #6305 by minrk (2014-08-13 21:23:59+00:00)
Title: JS: close WebSockets when killing kernels

by calling Kernel.stop_channels() in Session.delete and Kernel.kill.

Changing the kernel spec deletes and creates a new session, which previously left the old WebSockets open. This could lead to FD exhaustion in the server if done several times on a given notebook.

Tests included.

closes #6304