avoid double websocket-close message

14 years ago · 654fed95be
parent ea6e18abf3
commit 654fed95be
1 changed files with 4 additions and 2 deletions
--- a/IPython/frontend/html/notebook/static/js/kernel.js
+++ b/IPython/frontend/html/notebook/static/js/kernel.js
@ -98,8 +98,10 @@ var IPython = (function (IPython) {
            " or if the url does not look right, there could be an error in the" +
            " server's configuration.";
        } else {
- 	    this.start_channels();
- 	}
+            IPython.notification_widget.set_message('Reconnecting Websockets', 1000);
+            this.start_channels();
+            return;
+        }
        var dialog = $('<div/>');
        dialog.html(msg);
        parent_item.append(dialog);