If kernel is broken, start a new session

10 years ago · e8b6e65563
parent 94428049cc
commit e8b6e65563
1 changed files with 1 additions and 1 deletions
--- a/notebook/static/notebook/js/notebook.js
+++ b/notebook/static/notebook/js/notebook.js
@ -2073,7 +2073,7 @@ import {ShortcutEditor} from 'notebook/js/shortcuteditor';
        var success = $.proxy(this._session_started, this);
        var failure = $.proxy(this._session_start_failed, this);

-        if (this.session !== null) {
+        if (this.session && this.session.kernel) {
            this.session.restart(options, success, failure);
        } else {
            this.session = new session.Session(options);