##// END OF EJS Templates
Use session.delete rather than kernel.kill
Use session.delete rather than kernel.kill
Jessica B. Hamrick -
r18219:0b779fd0
Show More