##// END OF EJS Templates
Reconnect when the websocket connection closes unexpectedly
Roy Hyunjin Han -
Show More
@@ -98,9 +98,8 b' var IPython = (function (IPython) {'
98 " or if the url does not look right, there could be an error in the" +
98 " or if the url does not look right, there could be an error in the" +
99 " server's configuration.";
99 " server's configuration.";
100 } else {
100 } else {
101 msg = "Websocket connection closed unexpectedly." +
101 this.start_channels();
102 " The kernel will no longer be responsive.";
102 }
103 }
104 var dialog = $('<div/>');
103 var dialog = $('<div/>');
105 dialog.html(msg);
104 dialog.html(msg);
106 parent_item.append(dialog);
105 parent_item.append(dialog);
General Comments 0
You need to be logged in to leave comments. Login now