Show More
@@ -258,7 +258,7 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. |
|
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 define([ | |||||
1654 | "Restart" : { |
|
1654 | "Restart" : { | |
1655 | "class" : "btn-danger", |
|
1655 | "class" : "btn-danger", | |
1656 | "click" : function() { |
|
1656 | "click" : function() { | |
1657 |
that. |
|
1657 | that.kernel.restart(); | |
1658 | } |
|
1658 | } | |
1659 | } |
|
1659 | } | |
1660 | } |
|
1660 | } |
General Comments 0
You need to be logged in to leave comments.
Login now