From a05a9fce804e9edf071d995f715239ee2ef9ea3e 2014-12-15 19:25:31
From: Jonathan Frederic <jon.freder@gmail.com>
Date: 2014-12-15 19:25:31
Subject: [PATCH] Make sure comm-dead is applied to the top widget view class
in all cases where the kernel disconnects.

---

diff --git a/IPython/html/static/widgets/js/widget.js b/IPython/html/static/widgets/js/widget.js
index 19a120c..ec700df 100644
--- a/IPython/html/static/widgets/js/widget.js
+++ b/IPython/html/static/widgets/js/widget.js
@@ -47,6 +47,17 @@ define(["widgets/js/manager",
             } else {
                 this.set_comm_live(false);
             }
+
+            // Listen for the events that lead to the websocket being terminated.
+            var that = this;
+            var died = function() {
+                that.set_comm_live(false);
+            };
+            widget_manager.notebook.events.on('kernel_disconnected.Kernel', died);
+            widget_manager.notebook.events.on('kernel_killed.Kernel', died);
+            widget_manager.notebook.events.on('kernel_restarting.Kernel', died);
+            widget_manager.notebook.events.on('kernel_dead.Kernel', died);
+
             return Backbone.Model.apply(this);
         },
 
@@ -384,6 +395,13 @@ define(["widgets/js/manager",
              * Public constructor.
              */
             this.model.on('change',this.update,this);
+            this.model.on('comm:live', function() {
+                this.$el.removeClass('comm-dead');
+            }, this);
+            this.model.on('comm:dead', function() {
+                this.$el.addClass('comm-dead');
+            }, this);
+
             this.options = parameters.options;
             this.on('displayed', function() { 
                 this.is_displayed = true;