Don't show kernel-dead on manually shutdown kernel

When there is no kernel, show 'No kernel',
and set kernel-busy instead of showing read dead and bomb.

This is different from kernel-dead
This commit is contained in:
Min RK 2015-01-14 11:17:33 -08:00
parent 85d84ceb58
commit 510c883728

View File

@ -148,8 +148,8 @@ define([
this.events.on('kernel_killed.Kernel kernel_killed.Session', function () {
that.save_widget.update_document_title();
knw.danger("Dead kernel");
$kernel_ind_icon.attr('class','kernel_dead_icon').attr('title','Kernel Dead');
knw.warning("No kernel");
$kernel_ind_icon.attr('class','kernel_busy_icon').attr('title','Kernel is not running');
});
this.events.on('kernel_dead.Kernel', function () {