environment/lib/python2.7/site-packages/IPython/frontend/html/notebook/kernelmanager.py
def kill_kernel(self, kernel_id):
        """Kill a kernel by its kernel uuid.

        Parameters
        ==========
        kernel_id : uuid
            The id of the kernel to kill.
        """
        self.get_kernel(kernel_id).kill_kernel()
        del self._kernels[kernel_id]
def kill_kernel(self, kernel_id):
        """Kill a kernel by its kernel uuid.

        Parameters
        ==========
        kernel_id : uuid
            The id of the kernel to kill.
        """
        self.get_kernel(kernel_id).kill_kernel()
        del self._kernels[kernel_id]
def kill_kernel ( self , kernel_id ) : self . get_kernel ( kernel_id ) . kill_kernel ( ) del self . _kernels [ kernel_id ]
Kill a kernel by its kernel uuid.

        Parameters
        ==========
        kernel_id : uuid
            The id of the kernel to kill.
Kill a kernel by its kernel uuid .