##// END OF EJS Templates
s/Connection lost/Not Connected/
Min RK -
Show More
@@ -133,7 +133,7 define([
133 });
133 });
134
134
135 this.events.on('kernel_connection_dead.Kernel', function (evt, info) {
135 this.events.on('kernel_connection_dead.Kernel', function (evt, info) {
136 knw.danger("Connection lost", undefined, function () {
136 knw.danger("Not Connected", undefined, function () {
137 // schedule reconnect a short time in the future, don't reconnect immediately
137 // schedule reconnect a short time in the future, don't reconnect immediately
138 setTimeout($.proxy(info.kernel.reconnect, info.kernel), 500);
138 setTimeout($.proxy(info.kernel.reconnect, info.kernel), 500);
139 }, {title: 'click to reconnect'});
139 }, {title: 'click to reconnect'});
General Comments 0
You need to be logged in to leave comments. Login now