From 86f59e17d690503d9503872471cc79ef3e8c4352 2012-06-13 21:52:39
From: MinRK <benjaminrk@gmail.com>
Date: 2012-06-13 21:52:39
Subject: [PATCH] avoid double websocket-close message

---

diff --git a/IPython/frontend/html/notebook/static/js/kernel.js b/IPython/frontend/html/notebook/static/js/kernel.js
index ee4e5df..b466b66 100644
--- a/IPython/frontend/html/notebook/static/js/kernel.js
+++ b/IPython/frontend/html/notebook/static/js/kernel.js
@@ -98,8 +98,10 @@ var IPython = (function (IPython) {
             " or if the url does not look right, there could be an error in the" +
             " server's configuration.";
         } else {
- 	    this.start_channels();
- 	}
+            IPython.notification_widget.set_message('Reconnecting Websockets', 1000);
+            this.start_channels();
+            return;
+        }
         var dialog = $('<div/>');
         dialog.html(msg);
         parent_item.append(dialog);