##// END OF EJS Templates
Fixed subtle bug in kernel restarting....
Fixed subtle bug in kernel restarting. * Old routers were not being shutdown and removed. * We were incorrectly associating the new kernel with the notebook (we were using the *old* kernel_id for this). * General clean ups in the kernel manager.
Brian E. Granger -
r4495:708c73e4
Show More