##// END OF EJS Templates
Don't show kernel-dead on manually shutdown kernel...
Min RK -
Show More
@@ -148,8 +148,8 define([
148 148
149 149 this.events.on('kernel_killed.Kernel kernel_killed.Session', function () {
150 150 that.save_widget.update_document_title();
151 knw.danger("Dead kernel");
152 $kernel_ind_icon.attr('class','kernel_dead_icon').attr('title','Kernel Dead');
151 knw.warning("No kernel");
152 $kernel_ind_icon.attr('class','kernel_busy_icon').attr('title','Kernel is not running');
153 153 });
154 154
155 155 this.events.on('kernel_dead.Kernel', function () {
General Comments 0
You need to be logged in to leave comments. Login now