From 2bcc60b75d3a29776df8aff269a3573ce559ff2d 2012-06-15 08:54:04
From: Min RK <benjaminrk@gmail.com>
Date: 2012-06-15 08:54:04
Subject: [PATCH] Merge pull request #1952 from minrk/wsclose

avoid duplicate "Websockets closed" dialog on ws close
---

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);