##// END OF EJS Templates
Use session.delete rather than kernel.kill
Jessica B. Hamrick -
Show More
@@ -258,7 +258,7 b' define(['
258 // TODO: Make killing the kernel configurable.
258 // TODO: Make killing the kernel configurable.
259 var kill_kernel = false;
259 var kill_kernel = false;
260 if (kill_kernel) {
260 if (kill_kernel) {
261 that.kernel.kill();
261 that.session.delete();
262 }
262 }
263 // if we are autosaving, trigger an autosave on nav-away.
263 // if we are autosaving, trigger an autosave on nav-away.
264 // still warn, because if we don't the autosave may fail.
264 // still warn, because if we don't the autosave may fail.
General Comments 0
You need to be logged in to leave comments. Login now