Show More
@@ -258,7 +258,7 define([ | |||
|
258 | 258 | // TODO: Make killing the kernel configurable. |
|
259 | 259 | var kill_kernel = false; |
|
260 | 260 | if (kill_kernel) { |
|
261 |
that. |
|
|
261 | that.kernel.kill(); | |
|
262 | 262 | } |
|
263 | 263 | // if we are autosaving, trigger an autosave on nav-away. |
|
264 | 264 | // still warn, because if we don't the autosave may fail. |
@@ -1654,7 +1654,7 define([ | |||
|
1654 | 1654 | "Restart" : { |
|
1655 | 1655 | "class" : "btn-danger", |
|
1656 | 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