##// END OF EJS Templates
respect keep_kernel in exit()...
respect keep_kernel in exit() And pass to console wether or not it owns the kernel. closes #8482
Matthias Bussonnier -
r21402:38a2986f
Show More