##// END OF EJS Templates
Fix reference to session in notebook.js
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.session.kill_kernel();
261 that.kernel.kill();
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.
@@ -1654,7 +1654,7 b' define(['
1654 "Restart" : {
1654 "Restart" : {
1655 "class" : "btn-danger",
1655 "class" : "btn-danger",
1656 "click" : function() {
1656 "click" : function() {
1657 that.session.restart_kernel();
1657 that.kernel.restart();
1658 }
1658 }
1659 }
1659 }
1660 }
1660 }
General Comments 0
You need to be logged in to leave comments. Login now