##// END OF EJS Templates
avoid double websocket-close message
MinRK -
Show More
@@ -98,8 +98,10 var IPython = (function (IPython) {
98 98 " or if the url does not look right, there could be an error in the" +
99 99 " server's configuration.";
100 100 } else {
101 this.start_channels();
102 }
101 IPython.notification_widget.set_message('Reconnecting Websockets', 1000);
102 this.start_channels();
103 return;
104 }
103 105 var dialog = $('<div/>');
104 106 dialog.html(msg);
105 107 parent_item.append(dialog);
General Comments 0
You need to be logged in to leave comments. Login now