From 4be00dd0833d8e8dfcc8989a254cf0741b4ced2e 2012-06-08 20:05:58
From: Roy Hyunjin Han <starsareblueandfaraway@gmail.com>
Date: 2012-06-08 20:05:58
Subject: [PATCH] Reconnect when the websocket connection closes unexpectedly
---

diff --git a/IPython/frontend/html/notebook/static/js/kernel.js b/IPython/frontend/html/notebook/static/js/kernel.js
index e7a42ab..ee4e5df 100644
--- a/IPython/frontend/html/notebook/static/js/kernel.js
+++ b/IPython/frontend/html/notebook/static/js/kernel.js
@@ -98,9 +98,8 @@ var IPython = (function (IPython) {
             " or if the url does not look right, there could be an error in the" +
             " server's configuration.";
         } else {
-            msg = "Websocket connection closed unexpectedly." +
-            " The kernel will no longer be responsive.";
-        }
+ 	    this.start_channels();
+ 	}
         var dialog = $('<div/>');
         dialog.html(msg);
         parent_item.append(dialog);