From 654fed95bec797d911cd2abb593e2b5556d78872 Mon Sep 17 00:00:00 2001
From: MinRK <benjaminrk@gmail.com>
Date: Wed, 13 Jun 2012 14:52:39 -0700
Subject: [PATCH] avoid double websocket-close message

---
 IPython/frontend/html/notebook/static/js/kernel.js | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/IPython/frontend/html/notebook/static/js/kernel.js b/IPython/frontend/html/notebook/static/js/kernel.js
index ee4e5dfd2..b466b66de 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);