From af6b856a4f6e32e71411e4f0fb649c1d893def93 2015-01-16 23:11:25
From: Thomas Kluyver <takowl@gmail.com>
Date: 2015-01-16 23:11:25
Subject: [PATCH] Merge pull request #7456 from minrk/change-not-dead

Don't show kernel-dead on manually shutdown kernel
---

diff --git a/IPython/html/static/notebook/js/notificationarea.js b/IPython/html/static/notebook/js/notificationarea.js
index 3ab9555..d8c117b 100644
--- a/IPython/html/static/notebook/js/notificationarea.js
+++ b/IPython/html/static/notebook/js/notificationarea.js
@@ -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 () {